Alternatives and similar repositories for shasta:

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

• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆41Updated 2 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated this week
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• numba / numba-scfg
  Numba compatible SCFG (Structured Control Flow Graphs) utilities.
  ☆19Updated this week
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆39Updated 3 months ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 3 months ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated last year
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆80Updated this week
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆23Updated last year
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆17Updated 2 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated 7 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated last month
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 3 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆26Updated last year
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆18Updated 4 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 6 months ago
• rochus-keller / TccGen
  A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …
  ☆13Updated last year
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆16Updated 4 months ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆17Updated last year
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆52Updated last week
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆71Updated this week
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆58Updated last month
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆74Updated 3 weeks ago