backtracking / creal
An exact real arithmetic (aka constructive reals) for OCaml
☆13Updated 3 months ago
Related projects: ⓘ
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Updated 2 months ago
- A simple BDD library for OCaml☆14Updated 2 years ago
- Js_of_ocaml bindings for the p5.js library☆12Updated 4 months ago
- A simple and portable floating-point interval arithmetic library in OCaml☆9Updated 2 years ago
- Fast vectorized bitarrays for OCaml☆15Updated last year
- Interacting with cron from OCaml☆12Updated 2 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Updated 3 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆13Updated 3 months ago
- An interval library for OCaml☆16Updated last year
- Parallel computation in OCaml - multicore for really poor people☆12Updated 4 years ago
- QOI image codec for OCaml (unreleased)☆12Updated last month
- A simple websocket library for OCaml with no dependencies☆16Updated 5 months ago
- A dynamic way to instantiate an OCaml flow☆18Updated 2 months ago
- Self-adjusting computations☆23Updated 11 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 years ago
- Small tensor library a la GLSL☆17Updated last year
- Prototype code for some Julia-OCaml bindings☆13Updated 3 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
- An OCaml clustering library☆21Updated 3 years ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- OCaml bindings to Minisat☆13Updated 4 months ago
- Runtime library and schema compiler for the Avro serialization format☆21Updated 2 years ago
- ☆15Updated this week
- ☆10Updated 2 months ago
- Building Lua interpreters with lot's of functors☆14Updated 6 years ago
- OCaml interface to the GMP library☆13Updated 7 months ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Updated 6 years ago
- Performance Application Programming Interface for OCaml☆16Updated last year
- File mapping☆13Updated 9 months ago
- Final Year Project - A probabilisitic programming language in OCaml☆13Updated 4 years ago