kamahen / pykythe
Generate code Python source cross-reference facts in Kythe format
☆21Updated last month
Related projects ⓘ
Alternatives and complementary repositories for pykythe
- ☆35Updated this week
- Parallel Delta Debugging Framework☆47Updated 2 weeks ago
- Hierarchical Delta Debugging Framework☆57Updated 2 weeks ago
- Extract semantic information about static Python code☆69Updated last month
- Partial evaluation of Python code☆18Updated last year
- LibSA4Py: Light-weight static analysis for extracting type hints and features☆11Updated last year
- Semi-Automated Python Proof Assistant☆54Updated this week
- Specify and synthesize systems using symbolic algorithms☆46Updated 2 weeks ago
- parallel Python☆12Updated 4 years ago
- Code for enumeration from a CFG☆18Updated last year
- ☆17Updated 3 years ago
- Retrospective of Python compilation efforts☆64Updated 2 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
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- ACER is an AST-based Callgraph Generator Development Framework☆28Updated 4 months ago
- epsilon is a scanner generator☆21Updated 2 years ago
- Python bindings for the egg-smol rust library☆64Updated this week
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- program synthesis is possible☆39Updated 5 years ago
- ☆75Updated 3 weeks ago
- Hypothesis strategies for generating Python programs, something like CSmith☆95Updated 8 months ago
- Automatically exported from code.google.com/p/sequitur☆49Updated 4 months ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆34Updated 2 years ago
- ☆30Updated 3 months ago
- A pure-Python module that implements an LR(1) parser generator, as well as CFSM and GLR parser drivers.☆49Updated 2 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆47Updated 4 years ago
- Python subsets☆41Updated 7 years ago
- Logic Programming for Python3☆8Updated 8 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago