mmottl / aifad
AIFAD - Automated Induction of Functions over Algebraic Data Types
☆30Updated last year
Related projects: ⓘ
- Examples to illustrate the use of experimental OCaml macros☆11Updated 6 years ago
- A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.☆22Updated 3 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 8 years ago
- Strongly typed multidimensional array library for OCaml☆52Updated 3 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
- SSHv2 library, client and server implementation in OCaml☆13Updated 12 years ago
- Probabilistic data structures for OCaml☆39Updated 6 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- F* running in the browser☆21Updated 5 years ago
- ☆27Updated 5 years ago
- A PPX extension for big array literals in OCaml☆20Updated 6 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆17Updated 3 years ago
- Ocaml bindings for lmdb.☆48Updated last year
- OCaml syntax extension for synchronous programming...☆31Updated last year
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- OCaml BitTorrent library and client☆39Updated 2 years ago
- Unicode character database decoder for OCaml☆17Updated last week
- A minimal OCaml library for type-safe HTTP/JSON RPCs☆18Updated 5 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated last year
- Identifying similar OCaml codes☆30Updated last month
- Microsite for the MirageOS hack retreats☆14Updated last week
- The core OCaml system: compilers, runtime system, base libraries☆22Updated last week
- An OCaml clustering library☆21Updated 3 years ago
- A safer C FFI for OCaml☆18Updated 5 years ago
- OCaml bindings to libuv -- Cross-platform asychronous I/O☆18Updated 9 years ago
- a distributed computing library for OCaml☆25Updated 8 months ago
- DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).☆24Updated 7 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- OCaml bindings for the Javascript c3 charting library☆29Updated 5 years ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 3 years ago