ghulette/rewriting
Public repository.
Batteries Included project
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Public repository.
A simple example of an OCaml lexer/parser for predicate logic statements with unicode math symbols
Random assortment of OCaml code
Experiments with logic programming