utk-se / WorldSyntaxTreeLinks
Language-agnostic parsing of World of Code repositories
☆21Updated 2 years ago
Alternatives and similar repositories for WorldSyntaxTree
Users that are interested in WorldSyntaxTree are comparing it to the libraries listed below
Sorting:
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- language-agnostic program reducer.☆200Updated 2 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆110Updated last year
- Partial evaluation of Python code☆22Updated 2 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆270Updated this week
- A simple program reducer for any language.☆77Updated 2 years ago
- Python 3 AST unparser with type comments support.☆31Updated 6 years ago
- Regular expression manipulation library☆391Updated 4 months ago
- Python bindings for Comby☆13Updated 2 years ago
- Static Frame Stack Dependency Graph☆23Updated 4 years ago
- A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.☆54Updated 6 years ago
- Meta-repository for SnipPy☆16Updated 4 years ago
- Scalpel: The Python Static Analysis Framework☆324Updated last year
- Automatically fix programs by leveraging existing patches from other projects and similar code snippets from the faulty project.☆206Updated 2 years ago
- Extract semantic information about static Python code☆81Updated last month
- Project page for "The Debugging Book"☆270Updated 3 months ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- ☆36Updated 6 years ago
- Structural Source Code Search Engine☆45Updated 2 weeks ago
- Annotator that adds scope information to an ast☆26Updated 7 months ago
- ☆37Updated 2 months ago
- A solver for halting problem of Brainfuck programs☆18Updated 5 years ago
- Grammars suitable for lark parser and Hypothesis☆54Updated last year
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- Yet Another Compiler Visualizer☆164Updated 4 years ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 4 years ago
- AST-based fragmental source code refactoring toolkit for Python☆458Updated 2 years ago
- Parallel Delta Debugging Framework☆54Updated 2 months ago
- Annotate Python AST trees with source text and token information☆192Updated 3 weeks ago
- Language server for domain specific languages based on textX☆40Updated last week