yzhs/dantalian
File tagging with hard links
A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries produced by this compiler are in no way compatible with binaries produced by ocamlopt.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
File tagging with hard links
An implementation of Jon Grantham's Randomized Quadratic Frobenius Test written in C using GMP.
A formalisation of the small step semantics of a very simple subset of OCaml along with some proofs about it.
A tool for algorithm visualisation