paracetamolo / elastic-mechanism
☆11Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for elastic-mechanism
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Updated 5 years ago
- Abstract domain library for sets☆9Updated last year
- Interacting with cron from OCaml☆11Updated 2 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Updated 4 months ago
- Copies OCaml objects out of the garbage collected heap☆13Updated 6 years ago
- Simple OCaml interface for Gnuplot☆11Updated 3 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Updated last year
- Small tensor library a la GLSL☆17Updated 2 years ago
- ☆11Updated 8 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆9Updated 2 years ago
- A simple BDD library for OCaml☆13Updated 2 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆12Updated 4 months ago
- An interval library for OCaml☆16Updated last year
- Library for manipulating ISO images☆12Updated 5 years ago
- Convert a cmi file back to an mli interface☆14Updated 12 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 2 years ago
- An OCaml clustering library☆20Updated 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
- A Key Value store using a persistent hashtable approach☆18Updated 2 years ago
- OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol☆11Updated 7 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Updated 7 years ago
- RISC-V OCaml cross compiler☆14Updated 5 years ago
- s-expression codecs and updates for OCaml☆12Updated 7 years ago
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago
- Js_of_ocaml bindings for the p5.js library☆11Updated 5 months ago
- Detect CPU features☆10Updated 5 years ago
- POSIX sendmsg bindings for OCaml☆16Updated 8 years ago
- HTTP combinators for MirageOS☆12Updated 5 years ago
- Dig into an opam switch for doc☆10Updated 2 years ago
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago