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
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆74Updated 3 weeks ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆243Updated this week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆100Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆187Updated last week
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆306Updated last year
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆62Updated last year
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 3 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 8 months ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆52Updated 3 months ago
• trailofbits / tourniquet
  A Python library for easy and fast program transformation/repair
  ☆15Updated 3 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 8 months ago
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated last year
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 5 years ago
• reizio / reiz.io
  Structural Source Code Search Engine
  ☆44Updated 3 weeks ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆27Updated 2 months ago
• AZHenley / hcse-dissertations
  A list of human-centered software engineering dissertations.
  ☆48Updated 2 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• BugSwarm / bugswarm
  ☆32Updated 3 weeks ago
• KasraF / SnipPy
  Meta-repository for SnipPy
  ☆15Updated 3 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆177Updated 3 weeks ago
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆220Updated this week
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆39Updated last week
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 5 months ago