orsinium-labs / python-lambda-calculus

Related projects: ⓘ

• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆161Updated last week
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆94Updated 7 months ago
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆76Updated 2 weeks ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆69Updated 2 months ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆172Updated 2 months ago
• iogf / eacc
  Minimalist but flexible Lexer/Parser tool in Python.
  ☆61Updated 4 years ago
• mrocklin / unification
  ☆73Updated 3 years ago
• tonybaloney / instaviz
  Instant visualization of Python AST and Code Objects
  ☆129Updated 4 months ago
• zq1997 / RegCPython
  register-based CPython
  ☆45Updated last year
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆183Updated this week
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆62Updated last week
• Tsche / magic_codec
  ☆33Updated last week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆123Updated 2 months ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆56Updated 2 years ago
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated 9 months ago
• pfalcon / awesome-python-compilers
  Retrospective of Python compilation efforts
  ☆62Updated 2 years ago
• dabeaz / pylox
  Python implementation of the Lox language from Robert Nystrom's Crafting Interpreters
  ☆48Updated 2 years ago
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆49Updated this week
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆98Updated 2 years ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆86Updated 3 weeks ago
• we-like-parsers / pegen
  PEG parser generator for Python
  ☆151Updated 2 weeks ago
• kracekumar / python-typing-koans
  Python typing koans to learn type-hints in Python3 using Mypy
  ☆119Updated 2 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/
  ☆77Updated 9 months ago
• tonybaloney / dissy
  A TUI disassembler
  ☆114Updated last year
• FedeClaudi / pyinspect
  find functions when you can't remember their name
  ☆99Updated 2 years ago
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆88Updated last year
• borntyping / python-infix
  An experiment to use infix operators in Python
  ☆57Updated 5 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆77Updated 7 months ago
• metadsl / python-code-data
  Translate Python's bytecode to data and back again...
  ☆18Updated 3 weeks ago