alan-j-hu / llvm-dune
The official LLVM OCaml binding but built using dune
☆25Updated last week
Alternatives and similar repositories for llvm-dune:
Users that are interested in llvm-dune are comparing it to the libraries listed below
- Runtime assertion checking based on Gospel specifications☆44Updated last month
- Dependency graphs for OCaml modules, libraries and packages☆37Updated 7 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆56Updated 2 months ago
- multi-shot continuations in OCaml☆48Updated last week
- Experimental model checker for testing concurrent algorithms☆32Updated 2 months ago
- A small library to output memory graph for ocaml values☆36Updated 7 months ago
- ☆42Updated last year
- Tools for record-and-replay debugging☆43Updated last year
- PBT testsuite and libraries for testing multicore OCaml☆38Updated this week
- ☆48Updated 5 months ago
- Notes on OCaml debugging and performance☆16Updated 6 months ago
- OCaml PPX deriver for reflection☆51Updated 2 years ago
- Cpu topology and affinity for ocaml-multicore☆49Updated 6 months ago
- Monitor Eio programs☆78Updated 11 months ago
- Bindings to io_uring for OCaml☆61Updated 9 months ago
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- Declarative events and signals for OCaml☆50Updated 10 months ago
- A Deductive Verification Tool for OCaml Programs☆67Updated last week
- Just In Time compiler for OCaml native toplevel☆56Updated last year
- Race detection in OCaml using the ThreadSanitizer runtime analysis.☆20Updated 2 weeks ago
- IO should be just a library☆23Updated last year
- Efficient caching library for OCaml☆33Updated last year
- A balanced binary search tree library for OCaml☆21Updated 2 months ago
- OCaml syntax extension for quoting code☆26Updated 2 years ago
- 🩺 A library for compiler diagnostics☆38Updated 2 weeks ago
- Interactive breakpoints!☆43Updated 9 months ago
- Menhir polishing toolbox, for experienced druids☆31Updated 2 weeks ago
- An implementation of the Transmission Control Protocol in OCaml☆28Updated 5 months ago
- Memory-efficient data structures in OCaml☆37Updated 3 years ago