kevinconway / pyccLinks
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
Sorting:
- Python term rewriting☆29Updated 12 years ago
- Partial evaluation of Python code☆21Updated 2 years ago
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆19Updated this week
- Programmable, human-readable inlining of Python code☆28Updated 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
- Hierarchical Delta Debugging Framework☆59Updated 5 months ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 3 years ago
- An IPython notebook plugin for visualizing ASTs.☆102Updated 4 months ago
- Vectorized xorshift and xoroshiro uniform/binomial RNGs☆9Updated 8 years ago
- Retrospective of Python compilation efforts☆64Updated 3 years ago
- A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.☆12Updated 6 years ago
- Python Abstract Syntax Tree viewer in Qt☆104Updated 2 years ago
- program synthesis is possible☆41Updated 5 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.☆15Updated 4 years ago
- The C parser for GumTree☆13Updated 4 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 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
- Webpage source for compilers-webpage☆41Updated 7 years ago
- A small and compact Python 3 library to enable syntactic macros at importing time☆22Updated 9 years ago
- ☆22Updated 5 years ago
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆16Updated 7 months ago
- Python bindings for egg☆49Updated 2 years ago
- Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.☆16Updated 5 years ago
- objdump beautifier☆22Updated 7 years ago