Match compilation algorithm in OCaml
☆38Feb 24, 2025Updated last year
Alternatives and similar repositories for match
Users that are interested in match are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Playing with type systems☆51Dec 29, 2024Updated last year
- Parallel version of incremental library☆20Nov 2, 2023Updated 2 years ago
- An interactive tool for experimenting with LR(1) grammars☆20Feb 8, 2022Updated 4 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- A pretty-printing combinator library for OCaml☆49Aug 7, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago
- Compiler and tooling for the Myte programming language.☆29Mar 6, 2023Updated 3 years ago
- Reflect the essence of OCaml types as values☆15Sep 3, 2026Updated last month
- Trace visualisation tool for Eio programs☆16Sep 5, 2025Updated last year
- Prototype of set-theoretic type system, with polymorphism and type inference.☆16Oct 17, 2025Updated last year
- ☆15Mar 12, 2016Updated 10 years ago
- Alternative interpreter for OCaml format strings☆15Apr 4, 2023Updated 3 years ago
- OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way.☆19Jun 27, 2022Updated 4 years ago
- A high-performance server for Irmin☆24Oct 1, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The imagelib library implements image formats such as PNG or PPM☆37Aug 31, 2025Updated last year
- SSA vs ANF☆49Jul 20, 2015Updated 11 years ago
- ☆45Aug 11, 2025Updated last year
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated 2 years ago
- A simple library for reporting compiler/interpreter errors☆272Aug 11, 2024Updated 2 years ago
- Implementation of the PACK file (Git) in OCaml☆20Jun 25, 2020Updated 6 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆93Dec 10, 2018Updated 7 years ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆17Nov 5, 2023Updated 2 years ago
- Letters is an OCaml library for creating and sending emails over SMTP using LWT☆55Jan 14, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Open records implemented using map over universal type☆36Mar 30, 2020Updated 6 years ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆18May 5, 2021Updated 5 years ago
- A platform-agnostic multi-level index☆33Oct 9, 2026Updated 2 weeks ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated 2 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆91Sep 2, 2026Updated last month
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- generic I/O streams of bytes☆26Sep 18, 2026Updated last month
- Interleaved client/server code extraction☆12Jan 30, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- OCaml library for handling dates and times.☆47Apr 21, 2026Updated 6 months ago
- Pure functional programming with whole-program mutability inference☆109Sep 29, 2026Updated last month
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 13 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆83Oct 24, 2021Updated 5 years ago
- A simple note-taking app☆16Mar 4, 2026Updated 7 months ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Jun 29, 2026Updated 4 months ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆58Apr 25, 2026Updated 6 months ago