c-cube/abrasatcuda
[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)
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
[archive] Truly horrible old student project: a naive SAT-solver that runs on the GPU
Vim syntax file for the TPTP logic format (http://www.cs.miami.edu/~tptp/)
[wip] IRC bot.
Playground for visitors on terms