Alternatives and similar repositories for python-lambda-calculus:

Users that are interested in python-lambda-calculus are comparing it to the libraries listed below

• orsinium-labs / aop
  Aspect oriented programming for Python. Patch everything!
  ☆13Updated 6 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• tonybaloney / instaviz
  Instant visualization of Python AST and Code Objects
  ☆134Updated 9 months ago
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆75Updated 6 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆185Updated last month
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated last week
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆164Updated last week
• google / compynator
  A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous gr…
  ☆87Updated 4 years ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆59Updated 2 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆92Updated last year
• asottile / astpretty
  Pretty print the output of python stdlib `ast.parse`.
  ☆192Updated 3 weeks ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆177Updated this week
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆44Updated last month
• pfalcon / awesome-python-compilers
  Retrospective of Python compilation efforts
  ☆64Updated 2 years ago
• dabeaz / pylox
  Python implementation of the Lox language from Robert Nystrom's Crafting Interpreters
  ☆51Updated 3 years ago
• alexmojaki / executing
  Get information about what a Python frame is currently doing, particularly the AST node being executed
  ☆345Updated this week
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆72Updated this week
• dry-python / lambdas
  Write short and fully-typed lambdas where you need them.
  ☆275Updated last year
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆48Updated 6 months ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆99Updated last year
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆88Updated 2 months ago
• brettcannon / desugar
  Unravelling Python source code
  ☆188Updated 10 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆78Updated this week
• kylepollina / objexplore
  A terminal UI to inspect and explore Python objects
  ☆272Updated 4 months ago
• markshannon / pep622-critique
  Put all the objections to PEP 622 in one place.
  ☆32Updated 4 years ago
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated last week
• dabeaz / cluegen
  Get a clue, get some code
  ☆362Updated 3 years ago
• borzunov / plusplus
  Enables increment operators in Python using a bytecode hack
  ☆92Updated last year
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆200Updated 2 years ago
• llllllllll / codetransformer
  Python code object transformers
  ☆185Updated last year