mmottl / aifad

Related projects ⓘ

Alternatives and complementary repositories for aifad

• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆51Updated 5 months ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 4 years ago
• mcclure / ppx_const
  A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.
  ☆21Updated 4 years ago
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆18Updated 8 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆27Updated 2 years ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 2 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆33Updated 2 weeks ago
• nojb / ocaml-bt
  OCaml BitTorrent library and client
  ☆39Updated 2 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 2 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 7 months ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆64Updated last year
• SGrondin / fuzzy_compare
  ☆10Updated last year
• LexiFi / lrt
  LexiFi runtime types
  ☆32Updated 4 years ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 5 years ago
• OCamlPro / ocplib-resto
  A minimal OCaml library for type-safe HTTP/JSON RPCs
  ☆18Updated 5 years ago
• pqwy / unmark
  Painless micro-benchmarks
  ☆20Updated 5 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆24Updated 2 years ago
• dbuenzli / ppx_utf8_lit
  UTF-8 string literals and patterns for OCaml (unreleased)
  ☆21Updated 9 years ago
• ujamjar / hardcaml-affirm
  Verification tools for HardCaml
  ☆10Updated 6 years ago
• kayceesrk / riscv-ocaml-cross
  RISC-V OCaml cross compiler
  ☆14Updated 5 years ago
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 9 years ago
• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆11Updated 6 years ago
• stevenvar / OCaLustre
  OCaml syntax extension for synchronous programming...
  ☆31Updated last year
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆15Updated 6 years ago
• rgrinberg / onanomsg
  nanomsg bindings for ocaml
  ☆38Updated 4 years ago
• frex-project / metaocaml-frex
  ☆20Updated last year
• metaocaml / metaocaml-opam
  A repository of MetaOCaml packages
  ☆12Updated last year
• RyanGibb / eon
  Effects-based OCaml Nameserver
  ☆14Updated this week