nikolaushuber / ocaml_inets
An Encoding of Interaction Nets in OCaml
☆9Updated 10 months ago
Alternatives and similar repositories for ocaml_inets
Users that are interested in ocaml_inets are comparing it to the libraries listed below
Sorting:
- ☆17Updated this week
- Fast vectorized bitarrays for OCaml☆16Updated last year
- A balanced binary search tree library for OCaml☆21Updated 5 months ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Algebraic structures in OCaml.☆23Updated 2 months ago
- ☆14Updated last month
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Updated 2 years ago
- XLA (Accelerated Linear Algebra) bindings for OCaml☆30Updated 10 months ago
- 6502 chip simulator in OCaml☆13Updated last year
- A prototype to write blog posts with executable ocaml code blocks☆10Updated 3 weeks ago
- Commodity thread pools and concurrency primitives for OCaml 5☆59Updated 2 weeks ago
- Dynamic tuning for the OCaml garbage collector☆17Updated 3 weeks ago
- A Framework for building Batched Concurrent Services☆21Updated 7 months ago
- multi-shot continuations in OCaml☆48Updated 3 months ago
- Effects-based OCaml Nameserver☆20Updated 3 weeks ago
- Self-adjusting computations☆22Updated last year
- ☆31Updated last year
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 10 months ago
- PBT testsuite and libraries for testing multicore OCaml☆40Updated this week
- Content-addressed identifiers in OCaml☆15Updated 2 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 2 years ago
- A small library to output memory graph for ocaml values☆37Updated 10 months ago
- OCaml bytecode library tools☆33Updated 3 years ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆16Updated last year
- 🩺 A library for compiler diagnostics☆45Updated 3 months ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 5 months ago
- Runtime library and schema compiler for the Avro serialization format☆21Updated 3 years ago
- Runtime assertion checking based on Gospel specifications☆46Updated this week
- Experimental opam plugin☆16Updated last month
- thread-local storage for OCaml☆17Updated 4 months ago