Popular repositories Loading

1. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

   Standard ML

2. jython jython Public

   Forked from jython/jython

   Python for the Java Platform

   Python

3. cronos cronos Public

   Forked from crypto-org-chain/cronos

   Cronos is the first Ethereum-compatible blockchain network built on Cosmos SDK technology. Cronos aims to massively scale the DeFi, GameFi, and overall Web3 user community by providing builders wit…

   TypeScript

4. stellarium stellarium Public

   Forked from Stellarium/stellarium

   Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with yo…

   C++

5. neo neo Public

   Forked from neo-project/neo

   NEO Smart Economy

   C#

6. mjml mjml Public

   Forked from mjmlio/mjml

   MJML: the only framework that makes responsive-email easy

   JavaScript