Alternatives and similar repositories for python-lambda-calculus:

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

• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆75Updated 4 months ago
• tonybaloney / instaviz
  Instant visualization of Python AST and Code Objects
  ☆134Updated 8 months ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆98Updated 11 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆184Updated last week
• MatthieuDartiailh / bytecode
  Python module to modify bytecode
  ☆303Updated this week
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆58Updated last month
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆100Updated 2 weeks ago
• borntyping / python-infix
  An experiment to use infix operators in Python
  ☆56Updated 6 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆175Updated last week
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆91Updated last year
• asottile / astpretty
  Pretty print the output of python stdlib `ast.parse`.
  ☆191Updated last week
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆70Updated last month
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆88Updated 2 weeks ago
• mrocklin / unification
  ☆71Updated 3 years ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆162Updated 3 months ago
• a-rahimi / python-checkpointing2
  Checkpoint the state of Python programs using Pythonic setjmp and longjmp
  ☆67Updated 4 years ago
• serge-sans-paille / gast
  Python AST that abstracts the underlying Python version
  ☆143Updated 2 months ago
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated 2 weeks ago
• dankeyy / incdec.py
  for all your ++ -- needs
  ☆130Updated last year
• dabeaz / cpython_hack
  The Python programming language
  ☆47Updated 3 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆69Updated this week
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆167Updated 9 months ago
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆96Updated last year
• we-like-parsers / pegen_experiments
  Experiments for the official PEG parser generator for Python
  ☆277Updated 9 months ago
• kracekumar / python-typing-koans
  Python typing koans to learn type-hints in Python3 using Mypy
  ☆119Updated 3 years ago
• paulross / NotesOnCython
  Some notes on using Cython to increase the performance of Python code.
  ☆60Updated 4 months ago
• Tsche / magic_codec
  ☆35Updated last week
• iogf / eacc
  Minimalist but flexible Lexer/Parser tool in Python.
  ☆60Updated 4 years ago
• FelixTheC / strongtyping
  Decorator which checks whether the function is called with the correct type of parameters.
  ☆110Updated 2 weeks ago
• FedeClaudi / pyinspect
  find functions when you can't remember their name
  ☆101Updated 3 years ago