utk-se / WorldSyntaxTree

Related projects ⓘ

Alternatives and complementary repositories for WorldSyntaxTree

• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆29Updated last year
• CodeRibbon / CodeRibbon
  Navigate your code in an infinite timeline of code patches!
  ☆163Updated last year
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆95Updated 8 months ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆43Updated 7 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated last year
• 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
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆168Updated 10 months ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆38Updated 3 weeks ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆89Updated 2 weeks ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• kavigupta / ast_scope
  Annotator that adds scope information to an ast
  ☆22Updated 4 months ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆113Updated last year
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆74Updated 8 years ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆157Updated 3 years ago
• caterinaurban / Typpete
  ☆35Updated 5 years ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 3 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 4 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆69Updated 3 weeks ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 6 months ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆98Updated 2 years ago
• mishamsk / pyoak
  Library for building and working with arbitrary ASTs on top dataclasses
  ☆20Updated 6 months ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆232Updated 2 weeks ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• spack / sbang
  Run scripts with very long shebang (#!) lines
  ☆69Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆57Updated last week