mmottl / aifadLinks
AIFAD - Automated Induction of Functions over Algebraic Data Types
☆30Updated last week
Alternatives and similar repositories for aifad
Users that are interested in aifad are comparing it to the libraries listed below
Sorting:
- Strongly typed multidimensional array library for OCaml☆53Updated 7 months ago
- OCaml behind the scenes: exceptions☆31Updated last year
- Trivial/Tagless Polytypic Functions☆23Updated 5 years ago
- Lock-free Sets and Maps for OCaml multicore☆36Updated 2 years ago
- Regular languages in types☆22Updated 8 years ago
- OCaml library to produce vega-lite visualizations (as json objects)☆16Updated 3 years ago
- Result value combinators for OCaml☆37Updated last year
- A library for printing OCaml values with sharing☆25Updated 3 years ago
- A library of splittable pseudo-random number generators for OCaml☆35Updated 7 months ago
- Make interactive text-oriented user-interfaces for OCaml☆23Updated 5 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 3 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆40Updated 2 months ago
- Auditively feel the work of the runtime☆31Updated last year
- Unicode character database decoder for OCaml☆17Updated last week
- heterogenous Map over a GADT☆42Updated 8 months ago
- A simple app to test out irmin and dream☆18Updated 2 months ago
- Yet another type combinator library☆54Updated 3 years ago
- A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.☆21Updated 4 years ago
- OCaml PPX deriver for reflection☆52Updated 2 years ago
- Bindings to the various POSIX APIs☆27Updated 2 months ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Updated 3 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 3 years ago
- A Datalog implementation with an OCaml inspired module system☆43Updated 6 years ago
- A small library to output memory graph for ocaml values☆39Updated last year
- F* running in the browser☆21Updated 6 years ago
- Type-level rational puzzles in OCaml☆24Updated 9 years ago
- Probabilistic data structures for OCaml☆39Updated 7 years ago
- Binary packages for OPAM with local and remote repositories☆17Updated 2 years ago
- Script that greps anything in the sources of every opam packages☆24Updated 2 years ago
- A small library for convenient printf debugging and function tracing☆27Updated 2 years ago