google / compynator
A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous grammars.
☆87Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for compynator
- ☆72Updated 3 years ago
- Yet another PEG parser combinator library and DSL☆57Updated last year
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- A module for handling continuations in Python☆33Updated 8 years ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- Resolution theorem proving for predicate logic in pure Python.☆91Updated last year
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆136Updated 2 months ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 6 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆233Updated 3 weeks ago
- Python interpreter for TLA+ specifications☆113Updated 5 months ago
- Python pattern matching like functional languages.☆162Updated 3 years ago
- Experiments for the official PEG parser generator for Python☆275Updated 7 months ago
- Supercharge your Python with parts of Lisp and Haskell.☆91Updated last month
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 3 years ago
- Grammars suitable for lark parser and Hypothesis☆43Updated 7 months ago
- A universal Python parser combinator library inspired by Parsec library of Haskell.☆215Updated 5 months ago
- The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…☆144Updated 3 years ago
- A Python 3 compiler that anyone can understand.☆68Updated 10 years ago
- Python library to work with algebraic effects☆67Updated 4 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- The Brown Benchmark for Table Types (B2T2)☆62Updated 5 months ago
- Domain Specific Languages in Python☆97Updated 11 months ago
- A very minimal implementation of the core idea of Hypothesis☆127Updated 4 months ago
- Smallish programs written to learn something.☆50Updated 10 months ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆408Updated this week
- The practical relational programing language for data-oriented applications☆191Updated last year
- Hindley-Milner Type Inference implemented in (although not for) Python.☆88Updated 2 years ago
- ☆17Updated 3 years ago
- List of languages that compile to python☆254Updated 9 months ago