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
  ☆20Updated 2 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 3 months ago
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆44Updated last month
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆74Updated last week
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 5 months ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 8 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated last week
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated last month
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆48Updated 6 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆63Updated 5 months ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated 3 weeks ago
• Technologicat / pydialect
  Build languages on Python.
  ☆12Updated 3 years ago