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…
  ☆40Updated this week
• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆25Updated last month
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆36Updated last month
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆20Updated last year
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆26Updated 4 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆26Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆71Updated this week
• 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
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 3 weeks ago
• kyx0r / pikevm
  Russ Cox/Rob Pike pikevm regex implementation
  ☆32Updated 2 years ago
• numba / numba-rvsdg
  Numba compatible RVSDG (Regionalized Value State Dependence Graph) utilities.
  ☆18Updated this week
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated last year
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated last year
• drom / awesome-tree-sitter
  Curated list of awesome tree-sitter language grammars, bindings, tools, libraries
  ☆44Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆46Updated 2 years ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆23Updated 11 months ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆29Updated 2 years 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 4 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆60Updated this week
• rurban / libbf
  mirror of Fabrice Bellard's libbf tar releases
  ☆11Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆15Updated 4 months ago
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated 3 months ago
• ExtendJ / ExtendJ
  This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket
  ☆12Updated 2 years 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 10 months ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago