zyedidia / gpeg
A PEG parsing machine with support for incremental parsing.
☆83Updated 2 years ago
Related projects: ⓘ
- The Pika Parser reference implementation☆141Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆108Updated 9 months ago
- Simple conservative GC using mimalloc☆36Updated last year
- Alternative algorithm for algebraic subtyping.☆144Updated 2 months ago
- A declarative concatenative programming language☆159Updated 3 weeks ago
- Russ Cox/Rob Pike pikevm regex implementation☆28Updated 2 years ago
- A general purpose statically-typed concatenative programming language.☆49Updated last year
- The Egel Programming Language☆80Updated this week
- A WIP little dependently-typed systems language☆37Updated last month
- A custom parser/auto-formatter for Standard ML☆67Updated 9 months ago
- A garden of small programming language implementations 🪴☆164Updated this week
- A set of C headers (.h files) that are compatible with widely used libcs for various targets.☆57Updated 10 months ago
- A repository for the stack switching proposal.☆134Updated this week
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- A simple ML-like programming language with subtyping and full type inference.☆159Updated 3 months ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆123Updated 2 years ago
- A toy programming language.☆37Updated 8 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆28Updated 2 months ago
- C89 expressions parsed with the shunting yard algorithm in Python☆72Updated 2 months ago
- An esoteric RPN golfing language☆24Updated 2 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆155Updated 2 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆52Updated 4 months ago
- ☆27Updated 11 months ago
- A high-level programming language☆35Updated last week
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆24Updated last week
- Self-hosting compiler for the Grace programming language☆39Updated 3 months ago
- A website for the #proglangdesign community on freenode☆108Updated 2 weeks ago
- Bootstrap compiler for Firefly☆52Updated this week
- Macros have types!☆131Updated last year
- Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.☆35Updated 6 years ago