kevinconway / pycc
Python code optimizer.
☆19Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for pycc
- Partial evaluation of Python code☆18Updated last year
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 4 years ago
- Remote Backend Compiler☆30Updated 2 months ago
- Python term rewriting☆27Updated 11 years ago
- Build languages on Python.☆12Updated 3 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 8 years ago
- ☆17Updated 3 years ago
- Vectorized xorshift and xoroshiro uniform/binomial RNGs☆9Updated 8 years ago
- A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.☆12Updated 6 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- An experimental method JIT for CPython 3☆29Updated 8 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆39Updated 8 months ago
- Python subsets☆41Updated 7 years ago
- Debugger in the Trepan family for x-python☆17Updated last week
- Programmable, human-readable inlining of Python code☆29Updated last year
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- Numba compatible RVSDG (Regionalized Value State Dependence Graph) utilities.☆18Updated 3 weeks ago
- Logic Programming for Python3☆8Updated 8 years ago
- ☆19Updated 7 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆96Updated 9 months ago
- Extract semantic information about static Python code☆70Updated last month
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 3 months ago
- An advanced automated reasoning tool for memory consistency model specifications.☆20Updated 2 years ago
- A programming language.☆20Updated 7 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- Domain Specific Languages in Python☆97Updated 11 months ago
- Translate Python's bytecode to data and back again...☆18Updated 3 weeks ago
- Prolog Implementation in Python☆11Updated 6 years ago
- Python 3 AST unparser with type comments support.☆29Updated 5 years ago