vnmakarov / yaepView external linksLinks
Yet Another Earley Parser
☆141Mar 11, 2022Updated 3 years ago
Alternatives and similar repositories for yaep
Users that are interested in yaep are comparing it to the libraries listed below
Sorting:
- An Earley parser engine in Rust.☆36Updated this week
- The programming language DINO☆127Dec 21, 2019Updated 6 years ago
- Marpa parse engine C library -- STABLE☆100Jul 24, 2023Updated 2 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- A general-purpose parser framework in Rust.☆12Jun 17, 2024Updated last year
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 8 months ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated 9 months ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- A junkyard of all Tel Aviv University-related projects☆38Sep 20, 2012Updated 13 years ago
- Parse any language you can describe in BNF☆163Sep 11, 2023Updated 2 years ago
- Single-file Parsing Expression Grammars (PEG) runtime engine for C☆19Aug 17, 2025Updated 5 months ago
- 🎲 Efficient Java implementation of the probabilistic Earley algorithm to parse Stochastic Context Free Grammars (SCFGs)☆37Oct 28, 2025Updated 3 months ago
- PEG Parser in ANSI C☆64Jan 9, 2022Updated 4 years ago
- A Scannerless GLR parser/parser generater.☆114Feb 8, 2026Updated last week
- This repository is supposed to hold a released version of Xanadu☆24Jul 26, 2021Updated 4 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- MixML prototype interpreter☆27Dec 13, 2019Updated 6 years ago
- The Lemon parser generator and sibling projects.☆47Dec 16, 2021Updated 4 years ago
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- gdb development☆10Updated this week
- Experiments with linear types☆14Feb 23, 2018Updated 7 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated last month
- ☆12Apr 22, 2020Updated 5 years ago
- Haskell bindings to the Polar query engine and Oso authorization library☆12Feb 15, 2022Updated 3 years ago
- A basic (basic) Lisp interpreter in C!☆23Dec 17, 2015Updated 10 years ago
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 3 years ago
- ☆21Apr 27, 2023Updated 2 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Zippers for cofree types☆13Dec 7, 2021Updated 4 years ago
- Disjoint borrow of slices in Rust☆11Sep 1, 2019Updated 6 years ago
- This is a boilerplate example of how to write c++ code and translate it using emscripten into javascript. Then using a typescript declara…☆16Sep 1, 2024Updated last year
- Prototype type inference engine☆204Jan 31, 2025Updated last year