orsinium-labs / python-lambda-calculusLinks
Lambda Calculus things implemented on Python
☆88Updated 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:
- Write compiled bytecode inline with pure Python. 🤖☆80Updated last year
- ☆150Updated 3 years ago
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- Experiments for the official PEG parser generator for Python☆280Updated last year
- ☆123Updated 3 years ago
- PEG parser generator for Python☆181Updated 9 months ago
- Python bindings to picosat (a SAT solver)☆191Updated 3 weeks ago
- Unravelling Python source code☆190Updated last year
- Annotate Python AST trees with source text and token information☆188Updated 3 weeks ago
- Pretty print the output of python stdlib `ast.parse`.☆197Updated last week
- Instant visualization of Python AST and Code Objects☆141Updated last year
- Utilities for run-time type validation and multiple dispatch☆170Updated last month
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆429Updated 2 months ago
- Resolution theorem proving for predicate logic in pure Python.☆97Updated last year
- Declarative instrumentation for Python.☆91Updated 2 months ago
- Regular expression engine in Python using Thompson's algorithm.☆115Updated 5 years ago
- Python module to modify bytecode☆321Updated 2 weeks ago
- Python implementation of the Lox language from Robert Nystrom's Crafting Interpreters☆53Updated 3 years ago
- A partial parser for C statements and expression☆59Updated last year
- Minimalist but flexible Lexer/Parser tool in Python.☆60Updated 5 years ago
- Get information about what a Python frame is currently doing, particularly the AST node being executed☆364Updated 3 weeks ago
- Fastest general-purpose parsing library for Python with a familiar API☆48Updated 3 months ago
- register-based CPython☆46Updated 2 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆220Updated last month
- Get a clue, get some code☆367Updated 3 years ago
- ☆92Updated 3 years ago
- Advanced macro expander and language lab for Python.☆68Updated 5 months ago
- Checkpoint the state of Python programs using Pythonic setjmp and longjmp☆67Updated 4 years ago
- Support for for students (Python)☆67Updated 4 months ago
- Time Travel Debugging for Python☆192Updated last year