utk-se / WorldSyntaxTree

Related projects ⓘ

Alternatives and complementary repositories for WorldSyntaxTree

• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆29Updated last year
• reizio / reiz.io
  Structural Source Code Search Engine
  ☆44Updated this week
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆96Updated 9 months ago
• caterinaurban / Typpete
  ☆35Updated 5 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆75Updated 8 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆296Updated 7 months ago
• kavigupta / ast_scope
  Annotator that adds scope information to an ast
  ☆22Updated 4 months ago
• isidentical / BRM
  Bicycle Repair Man - Rewrite Python Sources with Your Additions
  ☆19Updated 2 years ago
• isidentical / sea
  Static Frame Stack Dependency Graph
  ☆24Updated 2 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆61Updated last year
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆169Updated 10 months ago
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆38Updated last month
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆70Updated last month
• breck7 / pytree
  Tree Notation Python Library
  ☆14Updated last year
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆83Updated 2 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆108Updated 4 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• semgrep / pfff
  pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…
  ☆185Updated last year
• src-d / gemini
  Advanced similarity and duplicate source code at scale.
  ☆54Updated 5 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• Tsche / magic_codec
  ☆34Updated 3 weeks ago
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆58Updated last week
• rindPHI / islearn
  ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
  ☆16Updated 8 months 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…
  ☆15Updated 3 years ago
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆28Updated 11 months ago
• koehlma / rigorous
  A framework for working with inference rules.
  ☆10Updated 3 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 4 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆9Updated last month