Popular repositories Loading

1. mathomatic mathomatic Public

   Forked from mfillpot/mathomatic

   Mathomatic™ is a portable, command-line, educational CAS and calculator software, written entirely in the C programming language.

   C

2. learnhaskell learnhaskell Public

   Forked from bitemyapp/learnhaskell

   Learn Haskell

   Makefile

3. l4v l4v Public

   Forked from seL4/l4v

   seL4 specification and proofs

   Isabelle

4. isabelle isabelle Public

   Forked from seL4/isabelle

   git mirror of the Munich isabelle hg repository

   Isabelle

5. PLCT-Weekly PLCT-Weekly Public

   Forked from plctlab/PLCT-Weekly

   软件所PLCT实验室在开源领域的不定期简报

   HTML

6. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell