Popular repositories

1. vellvm vellvm Public

   The Vellvm (Verified LLVM) coq development.

   LLVM 378 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 11 2