orsinium-labs / python-lambda-calculusLinks
Lambda Calculus things implemented on Python
☆88Updated 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:
- Experiments for the official PEG parser generator for Python☆280Updated last year
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- Write compiled bytecode inline with pure Python. 🤖☆78Updated 11 months ago
- Instant visualization of Python AST and Code Objects☆139Updated last year
- ☆149Updated 2 years ago
- Unravelling Python source code☆188Updated last year
- Regular expression engine in Python using Thompson's algorithm.☆115Updated 5 years ago
- Utilities for run-time type validation and multiple dispatch☆168Updated 5 months ago
- PEG parser generator for Python☆179Updated 8 months ago
- Get information about what a Python frame is currently doing, particularly the AST node being executed☆358Updated last month
- Pretty print the output of python stdlib `ast.parse`.☆196Updated this week
- Retrospective of Python compilation efforts☆64Updated 3 years ago
- Checkpoint the state of Python programs using Pythonic setjmp and longjmp☆67Updated 4 years ago
- Python typing koans to learn type-hints in Python3 using Mypy☆118Updated 3 years ago
- Annotate Python AST trees with source text and token information☆183Updated last month
- Over 600 fast Python bindings to the CPython C API. 🤯☆61Updated 11 months ago
- Declarative instrumentation for Python.☆91Updated 2 weeks ago
- Write short and fully-typed lambdas where you need them.☆279Updated last year
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆427Updated last month
- Python bindings to picosat (a SAT solver)☆190Updated 4 months ago
- Operator overloading for fast anonymous functions.☆50Updated last week
- register-based CPython☆45Updated 2 years ago
- Python implementation of the Lox language from Robert Nystrom's Crafting Interpreters☆53Updated 3 years ago
- Advanced macro expander and language lab for Python.☆68Updated 3 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- Time Travel Debugging for Python☆184Updated last year
- Python library to print trees☆173Updated 11 months ago
- A TUI disassembler☆120Updated this week
- A partial parser for C statements and expression☆59Updated last year
- Design-by-contract in Python3 with informative violation messages and inheritance☆379Updated 10 months ago