c-cube/ocaml-aig
[toy] And-Inverter Graph in OCaml
[deprecated] ppx_deriving instance for CConv encoders/decoders
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
[toy] And-Inverter Graph in OCaml
A set of micro-benchmarks for OCaml compiler
[archive] Truly horrible old student project: a naive SAT-solver that runs on the GPU
Implementation in OCaml of the Toml minimal langage (https://github.com/mojombo/toml)