Alternatives and similar repositories for WorldSyntaxTree

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

• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆108Updated last year
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 3 years ago
• qntm / greenery
  Regular expression manipulation library
  ☆390Updated 3 months ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆81Updated 3 weeks ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• isidentical / sea
  Static Frame Stack Dependency Graph
  ☆23Updated 4 years ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆100Updated this week
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆268Updated last week
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆322Updated last year
• reizio / reiz.io
  Structural Source Code Search Engine
  ☆45Updated last week
• tonybaloney / dissy
  A TUI disassembler
  ☆122Updated 4 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆200Updated 3 weeks ago
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆81Updated last year
• bugout-dev / locust
  "git diff" over abstract syntax trees
  ☆59Updated 2 years ago
• aroberge / ideas
  Easy creation of custom import hooks to experiment on alternatives to Python's syntax; see https://aroberge.github.io/ideas/docs/html/
  ☆85Updated 2 years ago
• KasraF / SnipPy
  Meta-repository for SnipPy
  ☆15Updated 4 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆76Updated 2 years ago
• markshannon / python_formal_semantics
  ☆18Updated 5 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• Aluriak / clyngor
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆36Updated 3 weeks ago
• t3rn0 / ast-comments
  Extension to the built-in ast module. Finds comments in source code and adds them to the parsed tree.
  ☆49Updated 2 months ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated 2 years ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆54Updated last year
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 4 years ago
• google / compynator
  A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous gr…
  ☆91Updated 5 years ago
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆40Updated 3 weeks ago
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆33Updated 2 years ago
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated 2 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆192Updated 3 weeks ago
• Tsche / magic_codec
  ☆37Updated last month