zyedidia / gpeg
A PEG parsing machine with support for incremental parsing.
☆84Updated last week
Alternatives and similar repositories for gpeg:
Users that are interested in gpeg are comparing it to the libraries listed below
- The Pika Parser reference implementation☆143Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆116Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆36Updated 2 months ago
- A declarative concatenative programming language☆163Updated 3 months ago
- A WIP little dependently-typed systems language☆41Updated 6 months ago
- C89 expressions parsed with the shunting yard algorithm in Python☆75Updated 6 months ago
- Simple conservative GC using mimalloc☆39Updated 2 years ago
- An esoteric RPN golfing language☆23Updated 2 years ago
- A toy programming language.☆38Updated last year
- Russ Cox/Rob Pike pikevm regex implementation☆32Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- ☆27Updated last year
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆28Updated 5 months ago
- WIP stack language that uses regex for control flow☆42Updated last year
- A garden of small programming language implementations 🪴☆201Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated last month
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 9 months ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆65Updated this week
- Alternative algorithm for algebraic subtyping.☆156Updated last month
- Pure functional programming with whole-program mutability inference☆64Updated 3 weeks ago
- Staged compilation with dependent types☆168Updated this week
- A custom parser/auto-formatter for Standard ML☆75Updated last year
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆90Updated 2 years ago
- A simple ML-like programming language with subtyping and full type inference.☆168Updated 2 months ago
- The Boomerang Bidirectional Programming Language☆75Updated last year
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago