Alternatives and similar repositories for WorldSyntaxTree

Users that are interested in WorldSyntaxTree are comparing it to the libraries listed below

• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆106Updated last year
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆247Updated 3 months ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆78Updated 2 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆191Updated 2 months ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated 7 months ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆40Updated 3 months ago
• qntm / greenery
  Regular expression manipulation library
  ☆368Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• ivan111 / vpyast
  Python AST Visualizer
  ☆1Updated 6 years ago
• kavigupta / ast_scope
  Annotator that adds scope information to an ast
  ☆26Updated last month
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆313Updated last year
• microsoft / python-program-analysis
  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
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆31Updated last year
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 7 months ago
• mbdevpl / typed-astunparse
  Python 3 AST unparser with type comments support.
  ☆30Updated 5 years ago
• isidentical / sea
  Static Frame Stack Dependency Graph
  ☆23Updated 3 years ago
• reizio / reiz.io
  Structural Source Code Search Engine
  ☆45Updated 4 months ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆74Updated 2 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated last year
• AZHenley / hcse-dissertations
  A list of human-centered software engineering dissertations.
  ☆48Updated 2 years ago
• semgrep / pfff
  pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…
  ☆184Updated 2 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• isidentical / refactor
  AST-based fragmental source code refactoring toolkit for Python
  ☆453Updated last year
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated last year
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• cscorley / whatthepatch
  What The Patch!? -- A Python patch parsing library
  ☆70Updated 8 months ago