nikolaushuber / ocaml_inets
An Encoding of Interaction Nets in OCaml
☆9Updated 9 months ago
Alternatives and similar repositories for ocaml_inets:
Users that are interested in ocaml_inets are comparing it to the libraries listed below
- ☆17Updated last week
- A balanced binary search tree library for OCaml☆21Updated 4 months ago
- Fast vectorized bitarrays for OCaml☆16Updated last year
- 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
- multi-shot continuations in OCaml☆48Updated 2 months ago
- Strongly typed multidimensional array library for OCaml☆52Updated 3 months ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- ☆31Updated last year
- Dynamic tuning for the OCaml garbage collector☆16Updated 3 weeks ago
- Algebraic structures in OCaml.☆23Updated last month
- A Framework for building Batched Concurrent Services☆21Updated 6 months ago
- Experimental opam plugin☆16Updated 3 weeks ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated 2 months ago
- A small library to output memory graph for ocaml values☆37Updated 9 months ago
- Parallel version of incremental library☆19Updated last year
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 2 years ago
- ☆14Updated last week
- 🩺 A library for compiler diagnostics☆44Updated 2 months ago
- An OCaml library for creating pandoc filters.☆31Updated 6 months ago
- Effects-based OCaml Nameserver☆20Updated this week
- Lock-free Sets and Maps for OCaml multicore☆32Updated 2 years ago
- Runtime library and schema compiler for the Avro serialization format☆21Updated 3 years ago
- 🔙 Backward lists for OCaml☆22Updated 6 months ago
- IO should be just a library☆23Updated last year
- Ascend - simple, yet fun terminal RPG.☆28Updated 5 months ago
- Content-addressed identifiers in OCaml☆15Updated 2 years ago
- A repository of MetaOCaml packages☆12Updated last year
- A scheduler independent blocking mechanism☆16Updated last year
- Commodity thread pools and concurrency primitives for OCaml 5☆59Updated last week