Popular repositories

1. refscript refscript Public

   Refinement Types for Scripting Languages

   Haskell 64 3

2. proverbot9001 proverbot9001 Public

   Coq 38 17

3. kraken kraken Public

   C 29 2

4. nano-smt nano-smt Public

   "Toy" SMT Solver for Educational Purposes

   Haskell 21

5. veridrone veridrone Public

   Foundational Verification of Hybrid Systems

   15

6. 230-web 230-web Public

   Website for CSE230

   Haskell 10