Updated 1 month ago
Updated 3 months ago
A small tool to track how your virtual time is spent
Updated 5 months ago
Updated 8 months ago
A lightweight reactive document library.
Updated 1 year ago
A collection of algorithms implemented in OCaml.
Updated 1 year ago
Wordle that makes you sweat
Updated 1 year ago
Updated 1 year ago
Updated 2 years ago
A vector graphics renderer like NanoVG in OCaml
Updated 2 years ago
A tool to gather statistics on common grammatical constructs, to hopefully produce helpful error messages & to rank syntactic completion
Updated 2 years ago
Strongly typed representation of binding environments. It guarantees that names are looked-up in the proper context.
Updated 2 years ago
Proof of a tree balancing algorithm in Coq
Updated 2 years ago
Updated 3 years ago
Playing with OCaml-Multicore by adapting the parallel solutions from the [shootout](https://benchmarksgame-team.pages.debian.net/benchmarksgame/index.html).
Updated 3 years ago
A ppx that instruments OCaml code to produce traces of execution. Traces can be explored to understand the control flow and see where time is spent in a program. Traces can be compared to see how a patch affects control flow.
Updated 3 years ago
Updated 3 years ago
OCaml bindings to Qt toolkit.
Updated 3 years ago
A collection of OCaml bindings to small, self-contained C libraries.
Updated 3 years ago