Alternatives and similar repositories for python-lambda-calculus:

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

• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆74Updated last week
• we-like-parsers / pegen_experiments
  Experiments for the official PEG parser generator for Python
  ☆278Updated last year
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆62Updated 4 months ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆101Updated last year
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆75Updated 7 months ago
• we-like-parsers / pegen
  PEG parser generator for Python
  ☆172Updated 4 months ago
• tonybaloney / instaviz
  Instant visualization of Python AST and Code Objects
  ☆139Updated 11 months ago
• mrocklin / unification
  ☆71Updated 4 years ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆101Updated 3 months ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆168Updated last year
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆178Updated last week
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated last month
• asottile / astpretty
  Pretty print the output of python stdlib `ast.parse`.
  ☆193Updated 3 weeks ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆75Updated last month
• dry-python / lambdas
  Write short and fully-typed lambdas where you need them.
  ☆277Updated last year
• iogf / eacc
  Minimalist but flexible Lexer/Parser tool in Python.
  ☆60Updated 4 years ago
• kracekumar / python-typing-koans
  Python typing koans to learn type-hints in Python3 using Mypy
  ☆118Updated 3 years ago
• 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
• gvanrossum / c-parser
  A partial parser for C statements and expression
  ☆58Updated last year
• neogeny / TatSu
  竜 TatSu generates Python parsers from grammars in a variation of EBNF
  ☆421Updated 3 months ago
• timothycrosley / quickpython
  A retro interactive coding environment powered by Python and nostalgia
  ☆108Updated 4 years ago
• aroberge / ideas
  Easy creation of custom import hooks to experiment on alternatives to Python's syntax; see https://aroberge.github.io/ideas/docs/html/
  ☆82Updated last year
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆96Updated last year
• dankeyy / incdec.py
  for all your ++ -- needs
  ☆130Updated last year
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆165Updated last month
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆188Updated last month
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆245Updated this week
• borzunov / plusplus
  Enables increment operators in Python using a bytecode hack
  ☆93Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆108Updated 2 weeks ago