🎲 Statically typed probabilistic programming language, feat. GADT
Reason CSS Flexbox implementation
A generative datatype toolkit for OCaml centric workflows
Easy to use Makefile for small to medium-sized OCaml-projects
Binary Analysis Platform
OCaml implementation of the K 2.0 array programming language
Compiler from OCaml to Javascript.
An implementation of Prolog written in OCaml
Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
Parser combinators built for speed and memory efficiency
A lightweight and colourful test framework
OCaml bindings for PyTorch
Pure Demand Operational Semantics
😎TT
OCaml-based scripting for small utilities all the way to larger apps including games and producti...