Pinned Loading

1. vellvm/ctrees vellvm/ctrees Public

   An itree-like data-structure to additionally support internal non-determinism

   Coq 15 5

2. eniac/otti eniac/otti Public

   A zkSNARK compiler for optimization problems

   Python 6 2

3. mit-pdos/mcqc mit-pdos/mcqc Public

   A Gallina compiler with C++17 as an intermediate representation

   Haskell 42 6

4. phoas-experiments phoas-experiments Public

   Some PHOAS experiments in Coq

   Coq

5. ticl ticl Public

   Forked from vellvm/ticl

   Library for structural temporal logic proofs over coinductive, free monads with effects and choice.

   Coq

6. eniac/Reef eniac/Reef Public

   Reef: A zkSNARK system for proving that a committed document matches a regex

   Rust 66 6