Alternatives and similar repositories for inliner

Users that are interested in inliner are comparing it to the libraries listed below

• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆21Updated 2 years ago
• RocketRace / custom-literals
  A library implementing C++'s custom literal suffixes using pure Python.
  ☆35Updated 6 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 7 months ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆65Updated last month
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆12Updated 2 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 5 months ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• osa1 / parsegen
  An LR parser generator, implemented as a proc macro
  ☆16Updated 2 years ago
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆44Updated 4 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated 8 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆75Updated this week
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• tangentstorm / syndir
  a syntax directed editor
  ☆17Updated last year
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 13 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 weeks ago
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 3 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆14Updated 3 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆75Updated last week
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• hellerve / mae
  maps are everything.
  ☆10Updated 3 years ago
• markshannon / pep622-critique
  Put all the objections to PEP 622 in one place.
  ☆32Updated 4 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago