Alternatives and similar repositories for aifad

Users that are interested in aifad are comparing it to the libraries listed below

• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 5 years ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆53Updated 11 months ago
• fabbing / obts_exn
  OCaml behind the scenes: exceptions
  ☆31Updated 2 years ago
• let-def / cmon
  A library for printing OCaml values with sharing
  ☆25Updated 3 years ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 6 years ago
• pitag-ha / cardio-crumble
  Auditively feel the work of the runtime
  ☆33Updated last year
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆24Updated 3 years ago
• OCamlPro / ocplib-endian
  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
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆41Updated 6 months ago
• let-def / inuit
  Make interactive text-oriented user-interfaces for OCaml
  ☆23Updated 5 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆42Updated 7 years ago
• dbuenzli / rresult
  Result value combinators for OCaml
  ☆36Updated 2 years ago
• art-w / mcavl
  Lock-free Sets and Maps for OCaml multicore
  ☆37Updated 3 years ago
• pveber / scirep
  Generate a webpage with mathematical formulae, OCaml output and graphics from markdown
  ☆16Updated 3 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆35Updated 11 months ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 3 years ago
• dbuenzli / uucd
  Unicode character database decoder for OCaml
  ☆17Updated last week
• mirage / repr
  ☆31Updated last month
• c-cube / maki
  [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks
  ☆16Updated 5 years ago
• ocurrent / current_incr
  Self-adjusting computations
  ☆22Updated 2 years ago
• Drup / pumping
  Regular languages in types
  ☆21Updated 8 years ago
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆13Updated 8 years ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆40Updated last year
• nojb / ocaml-gccjit
  OCaml bindings for libgccjit
  ☆28Updated 8 years ago
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆17Updated 10 years ago
• dariusf / ppx_polyprint
  A small library for convenient printf debugging and function tracing
  ☆26Updated 3 years ago
• arlencox / mlbdd
  A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
  ☆37Updated 3 years ago
• craigfe / brands
  Defunctionalised higher-kinded polymorphism in OCaml.
  ☆20Updated 5 years ago
• trevorsummerssmith / ocaml-libuv
  OCaml bindings to libuv -- Cross-platform asychronous I/O
  ☆18Updated 10 years ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 4 years ago