fjarri / pevalLinks
Partial evaluation of Python code
☆22Updated 2 years ago
Alternatives and similar repositories for peval
Users that are interested in peval are comparing it to the libraries listed below
Sorting:
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- Python subsets☆41Updated 8 years ago
- A Datalog Framework for Python☆15Updated 2 years ago
- Execute and document benchmarks reproducibly.☆97Updated 6 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆110Updated last year
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆16Updated 3 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 6 years ago
- ☆18Updated 5 years ago
- Extract semantic information about static Python code☆81Updated last month
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- A virtual machine for Monte.☆68Updated 3 months ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Updated 2 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- Python term rewriting☆30Updated 12 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆51Updated 6 months ago
- Domain Specific Languages in Python☆97Updated 2 years ago
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆145Updated this week
- Python bindings for the egglog rust library☆96Updated this week
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆25Updated last week
- High fidelity benchmark runner☆90Updated 4 years ago
- Types for Python☆87Updated 7 years ago
- Fastest general-purpose parsing library for Python with a familiar API☆49Updated 7 months ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- z3-powered solver (theorem prover) for deal☆13Updated 2 years ago
- A command-line utility for pulling code blocks out of markdown files.☆15Updated 4 years ago
- program synthesis is possible☆40Updated 6 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last month
- Python type hints are Turing complete.☆34Updated 3 years ago
- EPIC CUCUMBERS!☆27Updated 8 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Updated 5 months ago