orsinium-labs / python-lambda-calculusLinks
Lambda Calculus things implemented on Python
☆89Updated 6 years ago
Alternatives and similar repositories for python-lambda-calculus
Users that are interested in python-lambda-calculus are comparing it to the libraries listed below
Sorting:
- Experiments for the official PEG parser generator for Python☆280Updated last year
- ☆150Updated 3 years ago
- Regular expression engine in Python using Thompson's algorithm.☆115Updated 5 years ago
- Write compiled bytecode inline with pure Python. 🤖☆81Updated last year
- A library for pattern matching on symbolic expressions in Python.☆170Updated last year
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆227Updated 2 months ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆430Updated 3 weeks ago
- PEG parser generator for Python☆183Updated 10 months ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- Python implementation of the Lox language from Robert Nystrom's Crafting Interpreters☆53Updated 3 years ago
- Annotate Python AST trees with source text and token information☆188Updated last month
- Python bindings to picosat (a SAT solver)☆192Updated last month
- Support for for students (Python)☆68Updated last month
- Utilities for run-time type validation and multiple dispatch☆171Updated 2 months ago
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆144Updated last year
- Fastest general-purpose parsing library for Python with a familiar API☆48Updated 4 months ago
- Python bindings for the egglog rust library☆89Updated last week
- A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous gr…☆90Updated 5 years ago
- ☆71Updated 4 years ago
- Instant visualization of Python AST and Code Objects☆142Updated last year
- Minimalist but flexible Lexer/Parser tool in Python.☆60Updated 5 years ago
- Pretty print the output of python stdlib `ast.parse`.☆195Updated last week
- Python module to modify bytecode☆323Updated last month
- Python S-expression emulation using tuple-like objects.☆23Updated this week
- ☆122Updated 3 years ago
- A partial parser for C statements and expression☆60Updated last year
- Python library that enables using prolog syntax and logic programming in python☆127Updated 2 years ago
- register-based CPython☆46Updated 2 years ago
- Declarative instrumentation for Python.☆92Updated 3 months ago