Actualizado 2023-12-12 17:12:39 +01:00
Strongly typed representation of binding environments. It guarantees that names are looked-up in the proper context.
Actualizado 2023-07-28 14:02:44 +02:00
Actualizado 2023-06-04 22:42:27 +02:00
A small tool to track how your virtual time is spent
Actualizado 2023-01-12 03:28:49 +01:00
Actualizado 2022-10-09 16:43:38 +02:00
A lightweight reactive document library.
Actualizado 2022-04-03 12:37:30 +02:00
A collection of algorithms implemented in OCaml.
Actualizado 2022-04-01 09:20:44 +02:00
Wordle that makes you sweat
Actualizado 2022-02-13 13:30:03 +01:00
Actualizado 2021-12-31 15:44:29 +01:00
Actualizado 2021-12-01 11:44:06 +01:00
A vector graphics renderer like NanoVG in OCaml
Actualizado 2021-07-29 10:14:59 +02:00
A tool to gather statistics on common grammatical constructs, to hopefully produce helpful error messages & to rank syntactic completion
Actualizado 2021-07-29 10:13:20 +02:00
Proof of a tree balancing algorithm in Coq
Actualizado 2021-03-22 22:12:04 +01:00
Actualizado 2020-04-07 22:46:39 +02:00
Playing with OCaml-Multicore by adapting the parallel solutions from the [shootout](https://benchmarksgame-team.pages.debian.net/benchmarksgame/index.html).
Actualizado 2020-04-06 21:48:33 +02:00
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.
Actualizado 2020-04-02 16:13:48 +02:00
Actualizado 2020-03-27 14:57:18 +01:00
OCaml bindings to Qt toolkit.
Actualizado 2020-03-24 11:49:49 +01:00
A collection of OCaml bindings to small, self-contained C libraries.
Actualizado 2020-03-24 11:34:35 +01:00