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 2 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- language-agnostic program reducer.☆195Updated 4 months ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Extract semantic information about static Python code☆80Updated 3 weeks ago
- Regular expression manipulation library☆375Updated 3 weeks ago
- Structural Source Code Search Engine☆45Updated this week
- Parallel Delta Debugging Framework☆53Updated last month
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated last week
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆253Updated this week
- Static Frame Stack Dependency Graph☆23Updated 3 years ago
- Python 3 AST unparser with type comments support.☆31Updated 5 years ago
- ☆37Updated 6 years ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- A simple program reducer for any language.☆75Updated 2 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- Grammars suitable for lark parser and Hypothesis☆52Updated last year
- A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.☆54Updated 5 years ago
- Project page for "The Debugging Book"☆268Updated 3 weeks ago
- Meta-repository for SnipPy☆15Updated 3 years ago
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆184Updated 2 years ago
- Language server for domain specific languages based on textX☆40Updated 5 months ago
- Python Symbolic Execution☆72Updated 6 years ago
- The code behind python-ast-explorer.com☆249Updated 3 years ago
- A TUI disassembler☆121Updated 2 months ago
- An analysis tool for Python that blurs the line between testing and type systems.☆1,211Updated last week
- Adaptive fuzzing of Hypothesis tests☆97Updated 2 weeks ago
- AST-based fragmental source code refactoring toolkit for Python☆455Updated last year