nikolaushuber / ocaml_inetsLinks
An Encoding of Interaction Nets in OCaml
☆9Updated 11 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 2 weeks 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
- multi-shot continuations in OCaml☆48Updated 3 months ago
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- A prototype to write blog posts with executable ocaml code blocks☆10Updated last month
- A balanced binary search tree library for OCaml☆21Updated 5 months ago
- 6502 chip simulator in OCaml☆13Updated last year
- Tools for record-and-replay debugging☆43Updated 2 years ago
- ☆14Updated last week
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 10 months ago
- Algebraic structures in OCaml.☆23Updated 2 months ago
- XLA (Accelerated Linear Algebra) bindings for OCaml☆30Updated this week
- An OCaml library for creating pandoc filters.☆31Updated 7 months ago
- ☆11Updated 2 years ago
- Compile OCaml to standalone ANSI C file☆43Updated 2 weeks ago
- A scheduler independent blocking mechanism☆17Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- ☆31Updated last year
- Strongly typed multidimensional array library for OCaml☆53Updated 4 months ago
- An OCurrent pipeline for testing submissions to opam-repository☆22Updated this week
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆13Updated 4 months ago
- scikit-learn for OCaml☆35Updated 4 years ago
- Algorithms and datastructures for phylogenetics☆14Updated last week
- Content-addressed identifiers in OCaml☆15Updated 2 years ago
- A small library to output memory graph for ocaml values☆37Updated 11 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆60Updated 2 weeks ago
- Dynamic tuning for the OCaml garbage collector☆17Updated last month