lukehutch / pikaparserLinks
The Pika Parser reference implementation
☆144Updated 2 years ago
Alternatives and similar repositories for pikaparser
Users that are interested in pikaparser are comparing it to the libraries listed below
Sorting:
- A PEG parsing machine with support for incremental parsing.☆90Updated 3 months ago
- A simple ML-like programming language with subtyping and full type inference.☆173Updated 6 months ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆123Updated 3 years ago
- C89 expressions parsed with the shunting yard algorithm in Python☆79Updated 10 months ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆280Updated 2 years ago
- The IntercalScript programming language☆138Updated 4 years ago
- A programming language where the syntax and semantics are mutable at runtime☆166Updated 13 years ago
- The Higher-Order Intermediate Representation☆154Updated this week
- Hindley-Milner Type Inference implemented in (although not for) Python.☆95Updated 3 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆263Updated last year
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- ☆172Updated 7 months ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- A declarative concatenative programming language☆164Updated 7 months ago
- Alternative algorithm for algebraic subtyping.☆162Updated 3 weeks ago
- Cat - a statically typed functional stack-based programming language☆262Updated 7 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆197Updated 4 years ago
- 1ML prototype interpreter☆282Updated 4 years ago
- ☆63Updated 2 weeks ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 5 months ago
- The Whiley Compiler (WyC)☆222Updated 2 years ago
- A human readable quasi-concatenative programming language☆252Updated 3 months ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- Unofficial libjit mirror.☆62Updated 5 years ago
- Strongtalk VM☆102Updated 3 years ago