Alternatives and similar repositories for shasta:

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

• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆23Updated last year
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆38Updated 2 months ago
• compiler-explorer / misc-builder
  ☆11Updated last week
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated 6 months ago
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆17Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated last year
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆40Updated last year
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆59Updated 2 months ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated last week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• mvanotti / stack-sizes
  Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.
  ☆13Updated 5 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆72Updated this week
• numba / numba-scfg
  Numba compatible SCFG (Structured Control Flow Graphs) utilities.
  ☆18Updated 2 weeks ago
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆26Updated last year
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆89Updated 3 weeks ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆40Updated 2 weeks ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 2 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆15Updated last month
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆62Updated this week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated last month
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆38Updated 11 months ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆20Updated 3 years ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆135Updated last week
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆25Updated 2 months ago