arlencox / SETrLinks
Abstract domain library for sets
☆9Updated 2 years ago
Alternatives and similar repositories for SETr
Users that are interested in SETr are comparing it to the libraries listed below
Sorting:
- QUICr parametric abstract domain for sets☆12Updated 10 years ago
- Detect CPU features☆9Updated 6 years ago
- An interval library for OCaml☆16Updated 2 years ago
- ☆14Updated 3 weeks ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Updated 3 years ago
- Relational programming for OCaml (unreleased)☆25Updated 3 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- POSIX sendmsg bindings for OCaml☆16Updated 8 years ago
- Performance Application Programming Interface for OCaml☆16Updated 2 years ago
- Fast vectorized bitarrays for OCaml☆16Updated 2 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 8 months ago
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago
- Convert a cmi file back to an mli interface☆18Updated 10 years ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated last month
- Regular languages in types☆22Updated 8 years ago
- ☆21Updated 2 years ago
- Xen core platform libraries for MirageOS☆18Updated 6 months ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Updated 11 months ago
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- ocamldoc comment syntax parser☆20Updated 5 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Updated 7 years ago
- ☆16Updated 6 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 2 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 6 months ago
- E-mail filter and classifier based on Bayesian learning☆15Updated 3 years ago
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- RISC-V OCaml cross compiler☆14Updated 6 years ago
- Map à la Binary Radix Tree☆20Updated 3 years ago
- An OCaml clustering library☆20Updated 4 years ago