Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
☆104May 16, 2025Updated 9 months ago
Alternatives and similar repositories for ocaml-asp
Users that are interested in ocaml-asp are comparing it to the libraries listed below
Sorting:
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆42Feb 27, 2021Updated 5 years ago
- 👹 A library for hierarchical names and lexical scoping☆26Nov 21, 2025Updated 3 months ago
- An OCaml toplevel (REPL) upgrade☆92Jul 29, 2025Updated 7 months ago
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- flexible 'let rec' generation for MetaOCaml☆28Jan 25, 2026Updated last month
- Type-level rational puzzles in OCaml☆25Jun 8, 2016Updated 9 years ago
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 2 years ago
- Small tensor library a la GLSL☆17Oct 28, 2022Updated 3 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Apr 16, 2022Updated 3 years ago
- Library for tokenizing code with TextMate grammars☆14Feb 28, 2026Updated last week
- An example Alexa skill written in ReasonML☆11Sep 6, 2017Updated 8 years ago
- OCaml bindings for RocksDB☆22Oct 26, 2023Updated 2 years ago
- ☆16Jul 4, 2020Updated 5 years ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 6 years ago
- Reflect the essence of OCaml types as values☆14Updated this week
- OCaml binding to LXC with idiomatic (and opionated) OCaml API design☆13Oct 25, 2019Updated 6 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 3 years ago
- Meta-preprocessor for OCaml☆79Jan 3, 2024Updated 2 years ago
- a ppx_deriving plugin for crowbar generators☆20Jul 1, 2019Updated 6 years ago
- [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks☆16Jan 31, 2020Updated 6 years ago
- A simple state-machine framework for OCaml based on QCheck☆67Sep 24, 2021Updated 4 years ago
- explore different techniques to generate LR(k) parsing code☆14Jan 29, 2016Updated 10 years ago
- Strongly typed multidimensional array library for OCaml☆53Jan 27, 2025Updated last year
- Format string experimentations☆13Jul 19, 2021Updated 4 years ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 3 months ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆48Mar 6, 2019Updated 7 years ago
- Lock-free Sets and Maps for OCaml multicore☆37Sep 20, 2022Updated 3 years ago
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Oct 19, 2023Updated 2 years ago
- multi-shot continuations in OCaml☆51Nov 21, 2025Updated 3 months ago
- Bindings to io_uring for OCaml☆64Sep 28, 2025Updated 5 months ago
- LL(1) parser generator verified in Coq☆48Jan 30, 2020Updated 6 years ago
- Generic Programming Library for OCaml☆34Mar 29, 2017Updated 8 years ago
- A pure OCaml implementation of the i3 IPC protocol☆26Aug 25, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆15Dec 11, 2020Updated 5 years ago