Alternatives and similar repositories for python-lambda-calculus

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

• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆102Updated last year
• pfalcon / awesome-python-compilers
  Retrospective of Python compilation efforts
  ☆64Updated 3 years ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆90Updated last month
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆75Updated 9 months ago
• iogf / eacc
  Minimalist but flexible Lexer/Parser tool in Python.
  ☆60Updated 4 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆165Updated 3 months ago
• google-deepmind / s6
  ☆146Updated 2 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 2 months ago
• tonybaloney / instaviz
  Instant visualization of Python AST and Code Objects
  ☆139Updated last year
• asottile / astpretty
  Pretty print the output of python stdlib `ast.parse`.
  ☆195Updated last week
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆76Updated last week
• Tsche / magic_codec
  ☆36Updated last week
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆63Updated 2 weeks ago
• tonybaloney / dissy
  A TUI disassembler
  ☆119Updated 2 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆94Updated last year
• StefanUlbrich / design-by-contract
  Handy decorator for elegant design-by-contract in 3.10+
  ☆101Updated 2 years ago
• lewiuberg / visual-automata
  Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
  ☆57Updated last year
• aroberge / ideas
  Easy creation of custom import hooks to experiment on alternatives to Python's syntax; see https://aroberge.github.io/ideas/docs/html/
  ☆83Updated last year
• llllllllll / codetransformer
  Python code object transformers
  ☆185Updated last year
• we-like-parsers / pegen_experiments
  Experiments for the official PEG parser generator for Python
  ☆280Updated last year
• a-rahimi / python-checkpointing2
  Checkpoint the state of Python programs using Pythonic setjmp and longjmp
  ☆68Updated 4 years ago
• borzunov / plusplus
  Enables increment operators in Python using a bytecode hack
  ☆93Updated 2 years ago
• brettcannon / desugar
  Unravelling Python source code
  ☆188Updated last year
• borntyping / python-infix
  An experiment to use infix operators in Python
  ☆57Updated 6 years ago
• we-like-parsers / pegen
  PEG parser generator for Python
  ☆175Updated 6 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 3 months ago
• RussAbbott / pylog
  pylog: an implementation of Prolog features in Python
  ☆36Updated 5 months ago
• MatthieuDartiailh / bytecode
  Python module to modify bytecode
  ☆314Updated 3 weeks ago