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☆282Updated last year
- PEG parser generator for Python☆195Updated last year
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆437Updated this week
- Regular expression engine in Python using Thompson's algorithm.☆114Updated 5 years ago
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- Write compiled bytecode inline with pure Python. 🤖☆82Updated last year
- Annotate Python AST trees with source text and token information☆192Updated 3 weeks ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated 2 years ago
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆145Updated last week
- An extensible, lightweight relational/logic programming DSL written in pure Python☆236Updated 5 months ago
- Pretty print the output of python stdlib `ast.parse`.☆198Updated 2 weeks ago
- Advanced macro expander and language lab for Python.☆70Updated 9 months ago
- Support for for students (Python)☆70Updated 3 months ago
- A library for pattern matching on symbolic expressions in Python.☆172Updated last year
- Instant visualization of Python AST and Code Objects☆144Updated last year
- Grammars suitable for lark parser and Hypothesis☆54Updated last year
- List of languages that compile to python☆275Updated 2 years ago
- Python implementation of the Lox language from Robert Nystrom's Crafting Interpreters☆55Updated 4 years ago
- Python bindings to picosat (a SAT solver)☆191Updated 5 months ago
- Declarative instrumentation for Python.☆102Updated 2 weeks ago
- Unravelling Python source code☆191Updated 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☆369Updated 5 months ago
- Strange and odd python snippets explained☆351Updated 3 years ago
- Python module to modify bytecode☆326Updated last month
- Utilities for run-time type validation and multiple dispatch☆172Updated 2 months ago
- Easy and elegant parser combinators for Python. With awesome docs.☆426Updated 4 months ago
- Python typing koans to learn type-hints in Python3 using Mypy☆119Updated 4 years ago
- pylog: an implementation of Prolog features in Python☆36Updated last year
- Fastest general-purpose parsing library for Python with a familiar API☆49Updated 7 months ago