google / compynatorLinks
A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous grammars.
☆89Updated 4 years ago
Alternatives and similar repositories for compynator
Users that are interested in compynator are comparing it to the libraries listed below
Sorting:
- ☆71Updated 4 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- A very minimal implementation of the core idea of Hypothesis☆137Updated 11 months ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆248Updated last month
- Tools for rapid prototyping of DSL compilers☆85Updated 4 years ago
- Python library to work with algebraic effects☆74Updated 4 years ago
- Types for Python☆87Updated 6 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated last year
- Python pattern matching like functional languages.☆160Updated 4 years ago
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆140Updated 9 months ago
- Python interpreter for TLA+ specifications☆113Updated last year
- A universal Python parser combinator library inspired by Parsec library of Haskell.☆221Updated last year
- Straightforward unification in Python that's extensible via generic functions.☆50Updated 9 months ago
- ☆17Updated 4 years ago
- Resolution theorem proving for predicate logic in pure Python.☆95Updated last year
- Supercharge your Python with parts of Lisp and Haskell.☆95Updated 2 months ago
- The easiest way to parse text in Python☆106Updated last month
- Fastest general-purpose parsing library for Python with a familiar API☆45Updated last week
- A compiler for a simple language, built with Python and LLVM☆100Updated 5 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 7 years ago
- Algebraic data types for Python (experimental, not actively maintained)☆173Updated 4 years ago
- List of languages that compile to python☆268Updated last year
- Domain Specific Languages in Python☆97Updated last year
- Grammars suitable for lark parser and Hypothesis☆47Updated last year
- Partial evaluation of Python code☆22Updated 2 years ago
- ☆83Updated 3 weeks ago
- Logic Programming in Python☆31Updated 3 years ago
- The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…☆146Updated 4 years ago