c-cube/operf-micro
A set of micro-benchmarks for OCaml compiler
Playground for visitors on terms
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/)