• Joined on 2020-11-23
OCaml notebooks as a WebComponent
Updated 2026-05-04 09:17:16 +00:00
Updated 2025-07-26 11:56:30 +00:00
Updated 2025-07-22 07:07:39 +00:00
Updated 2025-07-07 11:57:20 +00:00
Updated 2025-05-15 10:06:02 +00:00
Purely functional GUI algebra
Updated 2025-04-08 10:33:59 +00:00
Updated 2025-03-04 09:21:10 +00:00
Realtime grep for OCaml/Coq sources available on opam
Updated 2024-09-05 09:40:54 +00:00
Updated 2024-04-08 09:27:38 +00:00
Fuzzy type search for OCaml documentation
Updated 2024-02-07 17:44:57 +00:00
Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
Updated 2023-11-23 16:06:18 +00:00
add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs
Updated 2023-11-05 18:12:15 +00:00
Pretty tree layout with an applicative functor
Updated 2023-08-03 11:16:14 +00:00
Updated 2023-06-23 17:15:47 +00:00
Range Minimum Query algorithms
Updated 2023-05-27 16:39:19 +00:00