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 9 years ago
- An interval library for OCaml☆16Updated 2 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- Detect CPU features☆9Updated 6 years ago
- POSIX sendmsg bindings for OCaml☆16Updated 8 years ago
- Fast vectorized bitarrays for OCaml☆16Updated last year
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago
- Performance Application Programming Interface for OCaml☆16Updated 2 years ago
- OCaml bindings for the Integer Set Library.☆13Updated 10 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Updated 7 years ago
- OCaml bindings to Minisat☆12Updated last year
- An OCaml EDSL for describing and solving strategic games☆17Updated last year
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- a ppx_deriving plugin for crowbar generators☆20Updated 5 years ago
- A simple BDD library for OCaml☆13Updated 2 weeks ago
- Syntax highlighter for OCaml☆17Updated 5 years ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Updated 9 months ago
- Convert a cmi file back to an mli interface☆18Updated 10 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
- A small command-line tool to help with mechanical edition of opam files☆10Updated last year
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Updated 2 years ago
- OCaml bindings to libuv -- Cross-platform asychronous I/O☆18Updated 10 years ago
- Unicode text for OCaml☆14Updated 7 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 5 months ago
- Toplevel expectation test☆17Updated 3 weeks ago
- Experimental opam plugin☆16Updated last month
- Emacs client for statistical memory profiler☆16Updated 5 years ago
- Regular languages in types☆22Updated 7 years ago