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 3 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆110Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• caterinaurban / Typpete
  ☆36Updated 6 years ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆200Updated 2 months ago
• qntm / greenery
  Regular expression manipulation library
  ☆391Updated 4 months ago
• isidentical / refactor
  AST-based fragmental source code refactoring toolkit for Python
  ☆458Updated 2 years ago
• isidentical / sea
  Static Frame Stack Dependency Graph
  ☆23Updated 4 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆270Updated this week
• reizio / reiz.io
  Structural Source Code Search Engine
  ☆45Updated 2 weeks ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆81Updated last month
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆324Updated last year
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆33Updated 2 years ago
• kavigupta / ast_scope
  Annotator that adds scope information to an ast
  ☆26Updated 7 months ago
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆40Updated last week
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 3 years ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆54Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆153Updated this week
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆47Updated this week
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆102Updated 2 weeks ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated 2 years ago
• mbdevpl / typed-astunparse
  Python 3 AST unparser with type comments support.
  ☆31Updated 6 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 4 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆192Updated last month
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆143Updated last year
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆77Updated 2 years ago
• Symbolica / Symbolica
  Symbolica's open-source symbolic execution engine.
  ☆65Updated last year
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆29Updated 3 years ago
• KasraF / SnipPy
  Meta-repository for SnipPy
  ☆16Updated 4 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago