orsinium-labs / python-lambda-calculusLinks
Lambda Calculus things implemented on Python
☆90Updated 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☆281Updated last year
- Write compiled bytecode inline with pure Python. 🤖☆81Updated last year
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆435Updated 2 months ago
- PEG parser generator for Python☆189Updated last year
- ☆152Updated 3 years ago
- register-based CPython☆46Updated 2 years ago
- Annotate Python AST trees with source text and token information☆191Updated this week
- Instant visualization of Python AST and Code Objects☆143Updated last year
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆145Updated 2 weeks ago
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆107Updated last year
- Support for for students (Python)☆69Updated last month
- Resolution theorem proving for predicate logic in pure Python.☆96Updated 2 years ago
- A library for pattern matching on symbolic expressions in Python.☆170Updated last year
- An extensible, lightweight relational/logic programming DSL written in pure Python☆232Updated 3 months ago
- Python bindings for the egglog rust library☆90Updated last week
- Advanced macro expander and language lab for Python.☆69Updated 7 months ago
- Minimalist but flexible Lexer/Parser tool in Python.☆60Updated 5 years ago
- Declarative instrumentation for Python.☆100Updated this week
- Grammars suitable for lark parser and Hypothesis☆53Updated last year
- Tutorials on advanced python topics, and literate programming framework to write them (see README.md)☆63Updated 2 years ago
- Regular expression engine in Python using Thompson's algorithm.☆114Updated 5 years ago
- An IPython notebook plugin for visualizing ASTs.☆108Updated 11 months ago
- A TUI disassembler☆121Updated 4 months ago
- Fastest general-purpose parsing library for Python with a familiar API☆48Updated 5 months ago
- Get information about what a Python frame is currently doing, particularly the AST node being executed☆366Updated 3 months ago
- Unravelling Python source code☆191Updated last year
- Python implementation of the Lox language from Robert Nystrom's Crafting Interpreters☆55Updated 3 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- Easy and elegant parser combinators for Python. With awesome docs.☆418Updated 3 months ago