Alternatives and similar repositories for peval:

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

• 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
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 5 months ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆89Updated last month
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• numba / numba-scfg
  Numba compatible SCFG (Structured Control Flow Graphs) utilities.
  ☆18Updated this week
• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• mssun / rpython-by-example
  RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.
  ☆15Updated 2 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆72Updated this week
• riswords / quiche
  ☆21Updated 2 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated 2 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• dmlockhart / rpython-experiments
  Toy interpreters for learning about the RPython Translation Toolchain
  ☆15Updated 9 years ago
• DeloitteHux-Old / cycy
  EPIC CUCUMBERS!
  ☆28Updated 7 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• erezsh / lambdaX
  Partial evaluation for Python with syntactic sugar
  ☆36Updated 8 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆40Updated last year
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆99Updated last year
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 6 months ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆86Updated 3 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆78Updated this week