Popular repositories Loading

1. system-fc-coq system-fc-coq Public

   TeX 12 3

2. KeystrokeDynamicsZKP KeystrokeDynamicsZKP Public

   Zero Knowledge Proof Login System using Keystroke Dynamics

   TeX 5

3. outcome-logic outcome-logic Public

   Outcome Logic Formalized in Coq

   Coq 4

4. pcol pcol Public

   Probabilistic Concurrent Outcome Logic

   Lean 3

5. MusiQueue MusiQueue Public

   PennApps Fall 2013 Top 20

   CSS 1

6. ghc ghc Public

   Forked from ghc/ghc

   Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haske…

   Haskell 1