orsinium-labs / python-lambda-calculusLinks
Lambda Calculus things implemented on Python
☆87Updated 5 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:
- ☆149Updated 2 years ago
- Experiments for the official PEG parser generator for Python☆280Updated last year
- The code behind python-ast-explorer.com☆249Updated 3 years ago
- Python implementation of the Lox language from Robert Nystrom's Crafting Interpreters☆53Updated 3 years ago
- Write compiled bytecode inline with pure Python. 🤖☆79Updated 11 months ago
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆144Updated 11 months ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- Annotate Python AST trees with source text and token information☆183Updated 2 months ago
- Instant visualization of Python AST and Code Objects☆140Updated last year
- Python bindings to picosat (a SAT solver)☆190Updated 5 months ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆429Updated 2 months ago
- A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous gr…☆89Updated 5 years ago
- Strange and odd python snippets explained☆330Updated 2 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆217Updated last week
- Regular expression engine in Python using Thompson's algorithm.☆115Updated 5 years ago
- Enables increment operators in Python using a bytecode hack☆93Updated 2 years ago
- Support for for students (Python)☆65Updated 3 months ago
- A library for pattern matching on symbolic expressions in Python.☆169Updated last year
- Get information about what a Python frame is currently doing, particularly the AST node being executed☆359Updated this week
- Unravelling Python source code☆190Updated last year
- Logic Programming in Python☆31Updated 3 years ago
- Python bindings for the egg-smol rust library☆86Updated this week
- ☆71Updated 4 years ago
- pylog: an implementation of Prolog features in Python☆36Updated 8 months ago
- Retrospective of Python compilation efforts☆64Updated 3 years ago
- A partial parser for C statements and expression☆59Updated last year
- PEG parser generator for Python☆179Updated 8 months ago
- Pretty print the output of python stdlib `ast.parse`.☆196Updated 2 weeks ago
- Minimalist but flexible Lexer/Parser tool in Python.☆60Updated 5 years ago
- Advanced macro expander and language lab for Python.☆68Updated 4 months ago