orsinium-labs / python-lambda-calculus

Related projects ⓘ

Alternatives and complementary repositories for python-lambda-calculus

• tonybaloney / instaviz
  Instant visualization of Python AST and Code Objects
  ☆131Updated 6 months ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆57Updated this week
• brettcannon / desugar
  Unravelling Python source code
  ☆172Updated 7 months ago
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆76Updated 2 months ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆163Updated last month
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆172Updated last month
• iogf / eacc
  Minimalist but flexible Lexer/Parser tool in Python.
  ☆60Updated 4 years ago
• mrocklin / unification
  ☆72Updated 3 years ago
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• tonybaloney / dissy
  A TUI disassembler
  ☆117Updated 2 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆183Updated this week
• dabeaz / pylox
  Python implementation of the Lox language from Robert Nystrom's Crafting Interpreters
  ☆48Updated 2 years ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆98Updated 2 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆91Updated last month
• zq1997 / RegCPython
  register-based CPython
  ☆45Updated last year
• alexmojaki / executing
  Get information about what a Python frame is currently doing, particularly the AST node being executed
  ☆335Updated 2 months ago
• mildbyte / poetry-sudoku-solver
  Sudoku solver that uses Poetry's dependency resolver
  ☆95Updated last year
• markshannon / pep622-critique
  Put all the objections to PEP 622 in one place.
  ☆32Updated 4 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆96Updated 9 months ago
• baruchel / tco
  Tail Call Optimization for Python
  ☆233Updated 8 years ago
• faster-cpython / tools
  ☆92Updated last year
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated last week
• parttimenerd / python-dbg
  Python debugger experiments
  ☆25Updated last year
• gaphor / generic
  Generic programming library for Python
  ☆60Updated this week
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆82Updated 2 months ago
• borzunov / plusplus
  Enables increment operators in Python using a bytecode hack
  ☆93Updated last year
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆185Updated last year
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆91Updated last year
• ttylec / pyan
  pyan is a Python module that performs static analysis of Python code to determine a call dependency graph between functions and methods. …
  ☆55Updated 3 years ago
• asottile / astpretty
  Pretty print the output of python stdlib `ast.parse`.
  ☆190Updated 3 weeks ago