mmottl / aifadLinks
AIFAD - Automated Induction of Functions over Algebraic Data Types
☆30Updated 4 months ago
Alternatives and similar repositories for aifad
Users that are interested in aifad are comparing it to the libraries listed below
Sorting:
- A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.☆21Updated 4 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 5 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Strongly typed multidimensional array library for OCaml☆53Updated 4 months ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 2 years ago
- DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).☆23Updated 8 years ago
- OCaml BitTorrent library and client☆40Updated 2 years ago
- Yet another type combinator library☆54Updated 3 years ago
- OCaml bindings for the Javascript c3 charting library☆30Updated 5 years ago
- a distributed computing library for OCaml☆24Updated last year
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- The core OCaml system: compilers, runtime system, base libraries☆21Updated last week
- A PPX extension for big array literals in OCaml☆20Updated 6 years ago
- An ocaml implementation of conflict-driven reasoning☆14Updated 6 years ago
- RISC-V OCaml cross compiler☆14Updated 6 years ago
- OCaml syntax extension dedicated to the programming of reactive systems on the Web.☆53Updated 6 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆17Updated 4 years ago
- Ocaml bindings for lmdb.☆47Updated 4 months ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 9 years ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated 3 months ago
- A 'free monad' library for OCaml☆22Updated 10 years ago
- ☆13Updated 5 years ago
- Make interactive text-oriented user-interfaces for OCaml☆23Updated 5 years ago
- Result value combinators for OCaml☆37Updated last year
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 3 years ago
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Updated 3 years ago
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- Basic types for computer graphics in OCaml☆41Updated 3 months ago
- Relational programming for OCaml (unreleased)☆25Updated 3 years ago
- OCaml syntax extension for synchronous programming...☆32Updated last year