Popular repositories

1. z3overlay z3overlay Public

   An overlay for the OCaml Z3 binding.

   OCaml 34 10

2. llvm2smt llvm2smt Public

   OCaml library to transform an Llvm control flow graph in an SMT formula.

   OCaml 13 3

3. termite termite Public

   A termination analyser

   OCaml 9 2

4. opam-termite opam-termite Public

   Opam repository for termite-related packages.

   1 2

5. termite-analyser.github.io termite-analyser.github.io Public

   HTML