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
- The Brown Benchmark for Table Types (B2T2)☆62Updated 5 months ago
- A module for handling continuations in Python☆33Updated 8 years ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- Fastest general-purpose parsing library for Python with a familiar API☆43Updated 2 months ago
- Resolution theorem proving for predicate logic in pure Python.☆91Updated 11 months ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 6 years ago
- ☆21Updated 2 years ago
- A universal Python parser combinator library inspired by Parsec library of Haskell.☆215Updated 5 months ago
- ☆17Updated 3 years ago
- A very minimal implementation of the core idea of Hypothesis☆126Updated 4 months ago
- Yet another PEG parser combinator library and DSL☆58Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆232Updated 2 weeks ago
- Experiments for the official PEG parser generator for Python☆275Updated 6 months ago
- Types for Python☆86Updated 6 years ago
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆136Updated 2 months ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆22Updated 10 years ago
- A library for pattern matching on symbolic expressions in Python.☆164Updated 6 months ago
- Python interpreter for TLA+ specifications☆113Updated 5 months ago
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 3 years ago
- A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators i…☆246Updated 11 months ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆408Updated last week
- List of languages that compile to python☆254Updated 9 months ago
- How to implement trampolines for tail calls in Python☆31Updated 10 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆91Updated last month
- Logic Programming in Python☆30Updated 3 years ago
- Easy and elegant parser combinators for Python. With awesome docs.☆366Updated 6 months ago
- Smallish programs written to learn something.☆50Updated 10 months ago
- ☆288Updated 10 months ago
- Type-safe functional tools for Python.☆98Updated 3 months ago