Popular repositories Loading

1. vellvm vellvm Public

   The Vellvm (Verified LLVM) coq development.

   LLVM 485 41

2. vellvm-legacy vellvm-legacy Public

   Rocq Prover 34 1

3. ctrees ctrees Public

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

   Rocq Prover 22 10

4. ollvm ollvm Public

   Forked from OCamlPro/ollvm

   An higher-level LLVM binding for OCaml

   OCaml 14 2

5. ticl ticl Public

   Forked from vellvm/ctrees

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

   Rocq Prover 10 2

6. monad monad Public

   Utilities and reasoning principles for monads in Coq

   Rocq Prover 7