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
  ☆104Updated last year
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated 3 weeks ago
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated last year
• reizio / reiz.io
  Structural Source Code Search Engine
  ☆44Updated 2 months ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆309Updated last year
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆31Updated last year
• bannsec / pySym
  Python Symbolic Execution
  ☆69Updated 5 years ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• isidentical / sea
  Static Frame Stack Dependency Graph
  ☆23Updated 3 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆248Updated last month
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated 2 years ago
• 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
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆193Updated 2 weeks ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• JelleZijlstra / typeshed_client
  Retrieve information from typeshed and other typing stubs
  ☆25Updated last month
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• BugSwarm / bugswarm
  ☆33Updated last month
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆58Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆94Updated this week
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated 3 weeks ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆42Updated last year
• Tsche / magic_codec
  ☆36Updated 2 weeks ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated last year
• cscorley / whatthepatch
  What The Patch!? -- A Python patch parsing library
  ☆69Updated 7 months ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 6 months ago
• mbdevpl / typed-astunparse
  Python 3 AST unparser with type comments support.
  ☆30Updated 5 years ago
• xgdsmileboy / SimFix
  Automatically fix programs by leveraging existing patches from other projects and similar code snippets from the faulty project.
  ☆205Updated 2 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆40Updated last month