yallop / metaocaml-syb
Scrap Your Boilerplate for MetaOCaml with modular implicits
☆18Updated 9 years ago
Alternatives and similar repositories for metaocaml-syb:
Users that are interested in metaocaml-syb are comparing it to the libraries listed below
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last year
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 10 years ago
- flexible 'let rec' generation for MetaOCaml☆26Updated last year
- QUICr parametric abstract domain for sets☆12Updated 9 years ago
- Scrap Your Boilerplate for OCaml with modular implicits☆19Updated last year
- Objective Caml binding embedding the R interpreter☆35Updated last year
- A PPX extension for big array literals in OCaml☆20Updated 6 years ago
- Regular languages in types☆22Updated 7 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Strongly typed multidimensional array library for OCaml☆52Updated 2 months ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`☆24Updated 8 years ago
- An OCaml EDSL for describing and solving strategic games☆17Updated last year
- An MVC library for writing interactive webpages in OCaml☆35Updated 10 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- Work on modular implicits☆24Updated 6 years ago
- Type-level rational puzzles in OCaml☆24Updated 8 years ago
- The sparkling monad library☆13Updated 8 years ago
- Identifying similar OCaml codes☆29Updated 8 months ago
- ocaml multi-armed bandit module☆19Updated 4 years ago
- AIFAD - Automated Induction of Functions over Algebraic Data Types☆30Updated 3 months ago
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated 2 months ago
- An ocaml implementation of conflict-driven reasoning☆14Updated 6 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Updated 9 years ago
- A collection of tools to manage the configuration of OCaml projects☆54Updated 9 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆16Updated this week