c-cube/operf-micro
A set of micro-benchmarks for OCaml compiler
[toy] And-Inverter Graph in OCaml
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
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)
Vim syntax file for the TPTP logic format (http://www.cs.miami.edu/~tptp/)