kevinconway / pycc
Python code optimizer.
☆19Updated 10 years ago
Alternatives and similar repositories for pycc:
Users that are interested in pycc are comparing it to the libraries listed below
- Python term rewriting☆29Updated 11 years ago
- Partial evaluation of Python code☆20Updated last year
- Numba compatible RVSDG (Regionalized Value State Dependence Graph) utilities.☆18Updated this week
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 5 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 8 years ago
- A programming language.☆20Updated 7 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆98Updated 11 months ago
- Vectorized xorshift and xoroshiro uniform/binomial RNGs☆9Updated 8 years ago
- z3-powered solver (theorem prover) for deal☆11Updated last year
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Arena allocator for Python objects.☆11Updated 4 years ago
- ☆11Updated 10 years ago
- A library for tracking program state☆15Updated 8 years ago
- The Stratego program transformation language☆31Updated 5 months ago
- Python wrapper for MPFR, providing high-precision floating-point arithmetic☆43Updated 10 months ago
- Hypothesis extension to allow generating strings based on regex☆26Updated 6 years ago
- Clade is a tool for extracting information about software build process and source code☆20Updated last year
- Hierarchical Delta Debugging Framework☆58Updated last month
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.☆16Updated 5 years ago
- lean-related presentations☆16Updated last year
- Generates .h and .cpp from unseparated .cpp☆18Updated 2 years ago
- The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support…☆30Updated 12 years ago
- ☆19Updated 7 years ago
- Macros in Python: quasiquotes, case classes, LINQ and more!☆29Updated 4 years ago
- the enlightened pager. less paging. more content. read widely.☆21Updated 4 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- Runtime compiler for numerical Python☆232Updated 3 years ago