A collection of OCaml bindings to small, self-contained C libraries.

Updated 1 year ago

def / grenier
OCaml 0 0

A collection of algorithms implemented in OCaml.

Updated 2 weeks ago

def / lwd
OCaml 0 0

A lightweight reactive document library.

Updated 4 weeks ago

def / cuite
OCaml 0 0

OCaml bindings to Qt toolkit.

Updated 1 year ago

def / ocaml
OCaml 0 1

Updated 1 year ago

Updated 1 year ago

def / ztl
OCaml 0 0

Updated 3 weeks 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 1 year ago

Playing with OCaml-Multicore by adapting the parallel solutions from the [shootout](https://benchmarksgame-team.pages.debian.net/benchmarksgame/index.html).

Updated 1 year ago

Updated 2 weeks ago

def / wall
OCaml 0 0

A vector graphics renderer like NanoVG in OCaml

Updated 10 months ago

Updated 5 days ago

Strongly typed representation of binding environments. It guarantees that names are looked-up in the proper context.

Updated 10 months ago

Updated 8 months ago

A small tool to track how your virtual time is spent

Updated 2 months ago

Proof of a tree balancing algorithm in Coq

Updated 3 weeks ago