yallop/ocaml-asp external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

yallop/ocaml-asp

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/yallop/ocaml-asp)

Close

yallop / ocaml-aspView on GitHubMore

• External links
• Readme badge

Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

☆105May 16, 2025Updated last year

Alternatives and similar repositories for ocaml-asp

Users that are interested in ocaml-asp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• RedPRL / yuujinchou

  View on GitHub
  👹 A library for hierarchical names and lexical scoping
  ☆28Jun 19, 2026Updated 4 months ago
• yallop / metaocaml-letrec

  View on GitHub
  flexible 'let rec' generation for MetaOCaml
  ☆29Jan 25, 2026Updated 9 months ago
• rvantonder / hack_parallel

  View on GitHub
  The core parallel and shared memory library used by Hack, Flow, and Pyre
  ☆41Feb 27, 2021Updated 5 years ago
• Ucombinator / parsing-with-zippers

  View on GitHub
  A clean implementation of Parsing with Zippers.
  ☆39Sep 22, 2018Updated 8 years ago
• jonsterling / agda-stc

  View on GitHub
  Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.
  ☆20Feb 26, 2021Updated 5 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• darrenldl / ocaml-lxc

  View on GitHub
  OCaml binding to LXC with idiomatic (and opionated) OCaml API design
  ☆13Oct 25, 2019Updated 7 years ago
• dbuenzli / down

  View on GitHub
  An OCaml toplevel (REPL) upgrade
  ☆90Aug 13, 2026Updated 2 months ago
• mirage / ocaml-diet

  View on GitHub
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Apr 16, 2022Updated 4 years ago
• protz / ocaml-adafruit-lcd

  View on GitHub
  An OCaml controller for the Adafruit Rapsberry Pi LCD
  ☆12Jan 6, 2014Updated 12 years ago
• Octachron / rational_in_types

  View on GitHub
  Type-level rational puzzles in OCaml
  ☆25Jun 8, 2016Updated 10 years ago
• jonsterling / agda-synthetic-domain-theory

  View on GitHub
  ☆17Jun 10, 2022Updated 4 years ago
• yallop / ocaml-charset

  View on GitHub
  Fast char sets
  ☆21May 2, 2026Updated 6 months ago
• mirage / ocaml-fsevents

  View on GitHub
  macOS bindings to the FSEvents API
  ☆18Aug 13, 2026Updated 2 months ago
• mirage / optint

  View on GitHub
  Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)
  ☆24Jul 29, 2026Updated 3 months ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• anmonteiro / eio-ssl

  View on GitHub
  OpenSSL bindings to OCaml EIO
  ☆20Jul 25, 2026Updated 3 months ago
• huiyaozheng / Mirage-zmq

  View on GitHub
  An implementation of some 0MQ RFCs in OCaml for MirageOS
  ☆11May 20, 2019Updated 7 years ago
• mirage / irmin-watcher

  View on GitHub
  Portable implementation of the Irmin Watch API
  ☆17Oct 9, 2026Updated 3 weeks ago
• hannesm / gmap

  View on GitHub
  heterogenous Map over a GADT
  ☆42Dec 17, 2024Updated last year
• jfeser / bitarray

  View on GitHub
  Fast vectorized bitarrays for OCaml
  ☆16Jul 11, 2023Updated 3 years ago
• balez / generic

  View on GitHub
  Generic Programming Library for OCaml
  ☆34Mar 29, 2017Updated 9 years ago
• AndrasKovacs / preordertt

  View on GitHub
  Experiments with preordered set models of (directed) type theories
  ☆16Jul 10, 2019Updated 7 years ago
• tsileo / entries.pub

  View on GitHub
  WIP IndieWeb blog engine
  ☆15Jan 21, 2020Updated 6 years ago
• UlfNorell / quasi-quote

  View on GitHub
  Quasi-quoting library for agda
  ☆18Nov 29, 2024Updated last year
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• ocamllibs / metapp

  View on GitHub
  Meta-preprocessor for OCaml
  ☆79Jan 3, 2024Updated 2 years ago
• Drup / functoria-lua

  View on GitHub
  Building Lua interpreters with lot's of functors
  ☆13Jul 31, 2018Updated 8 years ago
• gretay-js / ocamlfdo

  View on GitHub
  Feedback-directed optimizer for OCaml
  ☆38May 18, 2021Updated 5 years ago
• metaocaml / metaocaml-bibliography

  View on GitHub
  MetaML and MetaOCaml bibliography
  ☆106Aug 29, 2026Updated 2 months ago
• yallop / staged-generic-programming

  View on GitHub
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆28Sep 2, 2023Updated 3 years ago
• dbuenzli / mtime

  View on GitHub
  Monotonic wall-clock time for OCaml
  ☆33Aug 13, 2026Updated 2 months ago
• rvantonder / lsif-ocaml

  View on GitHub
  ☆16Jul 4, 2020Updated 6 years ago
• slasser / CoStar

  View on GitHub
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆15Feb 14, 2023Updated 3 years ago
• dinosaure / carton

  View on GitHub
  Implementation of the PACK file (Git) in OCaml
  ☆20Jun 25, 2020Updated 6 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• JacquesCarette / finally-tagless

  View on GitHub
  Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
  ☆45Nov 28, 2018Updated 7 years ago
• yomimono / autoci

  View on GitHub
  automatic ci configuration for the people
  ☆36Nov 20, 2019Updated 6 years ago
• rahulc29 / realizability

  View on GitHub
  Experiments with Realizability in Univalent Type Theory
  ☆20Oct 21, 2024Updated 2 years ago
• processone / jamler

  View on GitHub
  ☆14Dec 27, 2023Updated 2 years ago
• rvantonder / hack-parallel-example

  View on GitHub
  An example project to demonstrate https://github.com/rvantonder/hack-parallel
  ☆13May 18, 2020Updated 6 years ago
• snowleopard / selective-ocaml

  View on GitHub
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆48Mar 6, 2019Updated 7 years ago
• uemurax / morg

  View on GitHub
  Organize mathematical thoughts
  ☆21Oct 6, 2023Updated 3 years ago