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
  ☆101Updated last year
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆186Updated last month
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 8 months ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆75Updated last month
• KasraF / SnipPy
  Meta-repository for SnipPy
  ☆15Updated 3 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆309Updated last year
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆245Updated this week
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated last year
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆178Updated 2 weeks ago
• lark-parser / lark_cython
  Cython plugin for Lark, reimplementing the LALR parser & lexer for better performance
  ☆49Updated 3 weeks ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• Amocy-Wang / ProbDD
  Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…
  ☆16Updated 3 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆40Updated 3 weeks ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 4 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• isidentical / sea
  Static Frame Stack Dependency Graph
  ☆23Updated 3 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆63Updated last year
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆51Updated 4 months ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 3 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• Symbolica / Symbolica
  Symbolica's open-source symbolic execution engine.
  ☆65Updated 7 months ago
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆27Updated 2 months ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆46Updated last year
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆60Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆86Updated this week
• isidentical / refactor
  AST-based fragmental source code refactoring toolkit for Python
  ☆444Updated last year