An implementation of "A Typed, Algebraic Approach to Parsing"
β11Mar 21, 2022Updated 4 years ago
Alternatives and similar repositories for typed-algebraic-parsing
Users that are interested in typed-algebraic-parsing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π Code Search Tools & Experimentsβ13Oct 21, 2026Updated 2 weeks ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.β15Feb 14, 2023Updated 3 years ago
- Intrinsic Verification of Formal Grammar Theoryβ29Aug 4, 2026Updated 3 months ago
- Rocqet proof languageβ29Aug 11, 2025Updated last year
- A OCaml generator for well-typed terms (that use their arguments).β14Feb 22, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.β20Feb 26, 2021Updated 5 years ago
- Todo App implemented in js_of_ocamlβ22Sep 12, 2020Updated 6 years ago
- Unicode character database decoder for OCamlβ17Sep 17, 2026Updated last month
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yaccβ105May 16, 2025Updated last year
- Resin: high performance variable binder and ast manipulation libβ13Jan 1, 2019Updated 7 years ago
- A deterministic parser with fused lexingβ79Jul 1, 2023Updated 3 years ago
- Easy OCaml scripts (unreleased)β20Aug 13, 2026Updated 2 months ago
- Roundtrip allows the definition of bidirectional (de-)serialization specificationsβ16Oct 16, 2024Updated 2 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"β15Aug 8, 2018Updated 8 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.
- β17Jun 10, 2022Updated 4 years ago
- Symbolic and Automatic Differentiation of Languages in Leanβ10May 9, 2025Updated last year
- A little shell script to add anti-procrastination features to /etc/hostsβ11Feb 24, 2020Updated 6 years ago
- β17Nov 11, 2021Updated 4 years ago
- β15Jul 11, 2025Updated last year
- Source code accompanying "Latent Effects for Reusable Language Components"β15Aug 24, 2021Updated 5 years ago
- Writeup that goes along with this:β16Apr 19, 2018Updated 8 years ago
- being the emperor of Mongo, but also a verbβ15Dec 25, 2018Updated 7 years ago
- A WIP compiler for a functional language. Very incomplete!β15Nov 6, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]β15Jul 22, 2024Updated 2 years ago
- A simple implementation of Facebook's Open Graph APIβ17Dec 12, 2010Updated 15 years ago
- A clean implementation of Parsing with Zippers.β39Sep 22, 2018Updated 8 years ago
- A pretty-printing combinator library for OCamlβ49Aug 7, 2024Updated 2 years ago
- Fast char setsβ21May 2, 2026Updated 6 months ago
- Partition refinementβ16Oct 4, 2026Updated last month
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecooβ¦β11Jul 20, 2023Updated 3 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.ioβ14Feb 22, 2023Updated 3 years ago
- A Bazel Language Support Package for OCamlβ36Mar 28, 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.
- β15Feb 12, 2021Updated 5 years ago
- Extensible SQL Lexer and Parser for Rustβ27May 1, 2026Updated 6 months ago
- Distributed algorithms in Lean 4β21Jul 28, 2026Updated 3 months ago
- A simple induction and BMC engine.β25May 16, 2022Updated 4 years ago
- A simple Ξ»Prolog interpreterβ21Nov 29, 2021Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"β40Oct 5, 2023Updated 3 years ago
- An implementation of "A Pretty Expressive Printer" in OCamlβ26Updated this week