kevinconway / pycc
Python code optimizer.
☆20Updated 10 years ago
Alternatives and similar repositories for pycc:
Users that are interested in pycc are comparing it to the libraries listed below
- Partial evaluation of Python code☆20Updated 2 years ago
- Vectorized xorshift and xoroshiro uniform/binomial RNGs☆9Updated 8 years ago
- Retrospective of Python compilation efforts☆64Updated 3 years ago
- Python term rewriting☆29Updated 12 years ago
- The C parser for GumTree☆13Updated 4 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 9 months ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆19Updated 2 weeks ago
- Hierarchical Delta Debugging Framework☆59Updated 3 months ago
- An IPython notebook plugin for visualizing ASTs.☆101Updated 3 months ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.☆15Updated 4 years ago
- Python Abstract Syntax Tree viewer in Qt☆104Updated 2 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- Python subsets☆41Updated 8 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆100Updated last year
- Domain Specific Languages in Python☆96Updated last year
- Arena allocator for Python objects.☆12Updated 4 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- A dynamic analysis framework for C and C++ programs☆29Updated 10 months ago
- Python Symbolic Execution☆67Updated 5 years ago
- Default Repo description from terraform moduleUpdated 10 years ago
- Python wrapper for MPFR, providing high-precision floating-point arithmetic☆44Updated last year
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆16Updated 5 months ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆13Updated 11 months ago
- Runtime compiler for numerical Python☆232Updated 2 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- Build languages on Python.☆12Updated 3 years ago
- ALLVM Tools☆56Updated 3 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago