Alternatives and similar repositories for peval

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

• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 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
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 7 months ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆102Updated last year
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated last week
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆75Updated this week
• graydon / exhaustigen
  ☆11Updated 3 years ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• numba / numba-scfg
  Numba compatible SCFG (Structured Control Flow Graphs) utilities.
  ☆19Updated last week
• azazel75 / macropy
  Macros in Python: quasiquotes, case classes, LINQ and more!
  ☆29Updated 5 years ago
• mssun / rpython-by-example
  RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.
  ☆15Updated 3 years ago
• dmlockhart / rpython-experiments
  Toy interpreters for learning about the RPython Translation Toolchain
  ☆15Updated 10 years ago
• DeloitteHux-Old / cycy
  EPIC CUCUMBERS!
  ☆28Updated 7 years ago
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆96Updated last year
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• delapuente / mcpy
  A small and compact Python 3 library to enable syntactic macros at importing time
  ☆22Updated 9 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 5 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated 3 months ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 3 weeks ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 13 years ago
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆12Updated last week