ocamlgraph

There are 2 repositories under ocamlgraph topic.

Drup/llvmgraph
Ocamlgraph overlay for llvm
Language:OCaml21 5 0
dalps/unfoldings
A very humble attempt at model-checking in OCaml
Language:OCaml0 2 00