Popular repositories Loading

1. verse verse Public

   My undergraduate thesis on verified program synthesis, and specifying DSLs for programming by example—by example.

   Coq 7

2. zk zk Public

   a toy implementation in C of the zero knowledge proof protocol for the Hamiltonian Cycle problem

   C 1

3. sort sort Public

   a formally verified mergesort implementation in Coq

   Coq 1 1

4. chimera chimera Public

   C

5. cs260r-17 cs260r-17 Public

   Forked from readablesystems/cs260r-17

   Main repository for Harvard CS260r 2017.

   Coq

6. tangled-curl tangled-curl Public

   Forked from mit-dci/tangled-curl

   IOTA's hash function curl is broken

   Go