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
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 7 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated last week
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆74Updated this week
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated 2 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated 2 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• 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
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 4 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• Technologicat / pydialect
  Build languages on Python.
  ☆12Updated 4 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 5 months ago
• riswords / quiche
  ☆22Updated 2 years ago
• RocketRace / custom-literals
  A library implementing C++'s custom literal suffixes using pure Python.
  ☆35Updated 5 months ago
• hellerve / mae
  maps are everything.
  ☆10Updated 3 years ago
• moss-lang / moss
  A programming language.
  ☆12Updated 2 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 11 months ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago