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 last year
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆98Updated 11 months ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 4 months ago
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆44Updated 3 weeks ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• caterinaurban / Typpete
  ☆36Updated 5 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆72Updated 2 weeks ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 5 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆32Updated 2 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆35Updated 3 weeks ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆45Updated 10 months ago
• Technologicat / pydialect
  Build languages on Python.
  ☆12Updated 3 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆61Updated 4 months ago
• RocketRace / custom-literals
  A library implementing C++'s custom literal suffixes using pure Python.
  ☆34Updated 3 months ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆11Updated last year
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated 8 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆46Updated 2 years ago
• domoritz / clingo-wasm
  Clingo on the web
  ☆36Updated 2 weeks ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆16Updated 2 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆93Updated 4 months ago
• llllllllll / quelling_blade
  Arena allocator for Python objects.
  ☆11Updated 4 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated last year
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆46Updated 5 months ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago