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:
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- ☆17Updated 5 years ago
- Python bindings for the egglog rust library☆90Updated last week
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- Python subsets☆41Updated 8 years ago
- program synthesis is possible☆40Updated 6 years ago
- Python term rewriting☆30Updated 12 years ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆15Updated 3 years ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last year
- ☆37Updated 6 years ago
- Types for Python☆87Updated 7 years ago
- Advanced macro expander and language lab for Python.☆69Updated 7 months ago
- An IPython notebook plugin for visualizing ASTs.☆107Updated 10 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆107Updated last year
- A virtual machine for Monte.☆68Updated last month
- Extract semantic information about static Python code☆81Updated 3 weeks ago
- A Datalog Framework for Python☆15Updated 2 years ago
- ☆24Updated 2 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆50Updated 4 months ago
- Python bindings for egg☆49Updated 2 years ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- Execute and document benchmarks reproducibly.☆96Updated 4 months ago
- Build languages on Python.☆12Updated 4 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Toy interpreters for learning about the RPython Translation Toolchain☆15Updated 10 years ago
- Python type hints are Turing complete.☆33Updated 3 years ago
- WebAssembly interpreter in RPython☆66Updated 6 years ago