François Pottier

skeleton

Makefile 0 0

A skeleton (template) for an OCaml library

Updated 2026-08-23 14:51:52 +00:00

lrgrep-example

OCaml 0 0

An example of the use of lrgrep

Updated 2026-06-24 09:29:41 +00:00

baby

OCaml 0 0

A balanced binary search tree library for OCaml

Updated 2026-06-20 11:07:44 +00:00

hector

OCaml 0 0

A vector library for OCaml

Updated 2026-01-28 17:35:39 +00:00

bitsets

OCaml 0 0

Several implementations of bit sets

Updated 2026-01-06 15:27:41 +00:00

kot

OCaml 0 0

Updated 2025-12-23 18:33:15 +00:00

ogre

OCaml 2 0

Updated 2025-11-27 16:32:07 +00:00

patricia

OCaml 2 0

A minimal implementation of integer maps based on Patricia trees

Updated 2025-11-27 08:44:39 +00:00

intPQueue

OCaml 0 0

A fast and compact priority queue with low integer keys

Updated 2025-11-17 09:35:55 +00:00

hachis

OCaml 0 0

A hash set and hash map library for OCaml

Updated 2025-09-19 19:24:47 +00:00

flatunionfind

OCaml 0 0

Updated 2025-08-13 14:06:11 +00:00

loop

Rocq Prover 0 0

Updated 2025-05-26 08:40:05 +00:00

pprint

OCaml 1 0

A pretty-printing combinator library for OCaml

Updated 2024-08-07 19:25:06 +00:00

array_blit

OCaml 0 0

Investigation of a slow loop issue with OCaml 5

Updated 2024-06-28 08:36:27 +00:00

array_set_loop

OCaml 0 0

Investigation of a slow loop issue with OCaml 5

Updated 2024-06-26 06:42:00 +00:00