Popular repositories Loading

1. vellvm vellvm Public

   The Vellvm (Verified LLVM) coq development.

   LLVM 398 34

2. vellvm-legacy vellvm-legacy Public

   Coq 33 1

3. ollvm ollvm Public

   Forked from OCamlPro/ollvm

   An higher-level LLVM binding for OCaml

   OCaml 14 2

4. ctrees ctrees Public

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

   Coq 14 5

5. ticl ticl Public

   Forked from vellvm/ctrees

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

   Coq