barko / bentov
OCaml implementation of histogram-approximation algorithm
☆16Updated last year
Related projects: ⓘ
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 7 years ago
- Unicode text for OCaml☆15Updated 6 years ago
- Building Lua interpreters with lot's of functors☆14Updated 6 years ago
- Painless micro-benchmarks☆20Updated 5 years ago
- J'ai plus mal à la tête maintenant☆27Updated 2 weeks ago
- An OCaml EDSL for describing and solving strategic games☆17Updated last year
- Experimental opam plugin☆17Updated 6 months ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- RISC-V OCaml cross compiler☆14Updated 5 years ago
- Dissect OCaml compiled programs, and weight their content☆25Updated last year
- POSIX sendmsg bindings for OCaml☆15Updated 7 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated this week
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆14Updated last year
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 3 years ago
- Convert a cmi file back to an mli interface☆18Updated 9 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- OCaml bindings to Minisat☆13Updated 4 months ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated last year
- An OCaml clustering library☆21Updated 3 years ago
- Effects-based OCaml Nameserver☆14Updated 2 months ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- OCaml bindings to Windows' IOCP API☆17Updated last year
- A simple and portable floating-point interval arithmetic library in OCaml☆9Updated 2 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- ☆11Updated 4 years ago
- Monotonic wall-clock time for OCaml☆33Updated last week
- A library of splittable pseudo-random number generators for OCaml☆34Updated 5 months ago
- Parsing library based on Earley Algorithm☆17Updated 3 years ago