Pinned Repositories
ctrees
An itree-like data-structure to additionally support internal non-determinism
ollvm
An higher-level LLVM binding for OCaml
vellvm
The Vellvm (Verified LLVM) coq development.
vellvm-legacy
vellvm's Repositories
vellvm/vellvm
The Vellvm (Verified LLVM) coq development.
vellvm/vellvm-legacy
vellvm/ollvm
An higher-level LLVM binding for OCaml
vellvm/ctrees
An itree-like data-structure to additionally support internal non-determinism