EVM bytecode decompiler
Simple, efficient iterators for OCaml
A Versatile OCaml Library for Git Operations
A sandmark VM, in OCaml. Very fast.
A demonstration of a production-suitable build pipeline for client-side BuckleScript
OCaml byte code cleaner modified to work with -output-obj (for linked bytecode libraries)
Minimalist compiler course, based on Essential of Compilation
OCaml bindings for the cvc5 SMT solver
WIP: Delve into statistics about clusters of Git repositoris
Compiler from OCaml to Javascript.
Static analysis of IEC 61131-3 programs
A dumb, source to source, preprocessor for OCaml code
Hazel, a live functional programming environment with typed holes
A toy theorem prover
Vult is a transcompiler well suited to write high-performance DSP code