flexible 'let rec' generation for MetaOCaml
☆29Jan 25, 2026Updated 9 months ago
Alternatives and similar repositories for metaocaml-letrec
Users that are interested in metaocaml-letrec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unofficial git mirror of the BER MetaOCaml patchset.☆73May 6, 2025Updated last year
- Staged Streams and other stuff☆19Jul 10, 2022Updated 4 years ago
- Scrap Your Boilerplate for OCaml with modular implicits☆19Mar 15, 2026Updated 7 months ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 3 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- File mapping☆12Dec 14, 2023Updated 2 years ago
- Unicode character properties for OCaml☆23Sep 17, 2026Updated last month
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- Binding to the Dropbox Remote API☆12Jun 13, 2020Updated 6 years ago
- ☆26May 16, 2025Updated last year
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆105May 16, 2025Updated last year
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- MetaML and MetaOCaml bibliography☆106Aug 29, 2026Updated 2 months ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆45Nov 28, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A concise AST for POSIX shell☆11Nov 21, 2025Updated 11 months ago
- ☆14Dec 27, 2023Updated 2 years ago
- Experiments with preordered set models of (directed) type theories☆16Jul 10, 2019Updated 7 years ago
- Low-level multicore utilities for OCaml☆14Jan 18, 2026Updated 9 months ago
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated 2 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- A deterministic parser with fused lexing☆79Jul 1, 2023Updated 3 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- a solver for opam packages using 0install's solver engine☆23May 5, 2026Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆19Dec 21, 2015Updated 10 years ago
- OCaml bindings to libqfs☆13Nov 7, 2025Updated 11 months ago
- A small script to create short-lived OPAM compiler switches from experimental OCaml branches☆18Jan 4, 2019Updated 7 years ago
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Dec 3, 2020Updated 5 years ago
- Count-min sketch implementation in OCaml☆10Jan 9, 2011Updated 15 years ago
- Type-level rational puzzles in OCaml☆25Jun 8, 2016Updated 10 years ago
- Logging module for OCaml☆11Aug 1, 2021Updated 5 years ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Mar 14, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An experimental type checker for a modal dependent type theory.☆123May 9, 2020Updated 6 years ago
- A super simple library (with use case) for Js_of_ocaml☆15Jun 14, 2016Updated 10 years ago
- OCaml with macros☆67Oct 8, 2026Updated 3 weeks ago
- A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]☆21May 21, 2020Updated 6 years ago
- A model-checker for caml programs.☆13Mar 31, 2021Updated 5 years ago
- Dynamic loader for OCaml☆14Dec 11, 2009Updated 16 years ago
- Intrinsic Verification of Formal Grammar Theory☆29Aug 4, 2026Updated 3 months ago