Popular repositories Loading

1. fcf fcf Public

   Foundational Cryptography Framework for machine-checked proofs of cryptography.

   Coq 48 23

2. am221_final am221_final Public

3. ffbsolver ffbsolver Public

   class project for AM221 -- solver that finds an optimal lineup in fantasy football

   R

4. VST VST Public

   Forked from PrincetonUniversity/VST

   Verified Software Toolchain

   Coq

5. Quivela4 Quivela4 Public

   Forked from amazon-science/Quivela4

   Java