Stars
17
results
for source starred repositories
written in OCaml
Clear filter
Hardcaml is an OCaml library for designing hardware.
Effects-based direct-style IO for multicore OCaml
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…
A functional programming language with shell scripting capabilities
Native compiler backend for esp32
Pure OCaml implementation of the Open Sound Control protocol
Declarative data visualization for OCaml (experiment, unreleased)