Alternatives and similar repositories for smoosh

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

• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• 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…
  ☆43Updated 4 months ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 2 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated 3 weeks ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆106Updated 3 years ago
• au-ts / cogent
  Cogent Project
  ☆165Updated 2 months ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆152Updated 2 months ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆42Updated 8 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆106Updated last year
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆119Updated last year
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated this week
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated last year
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆120Updated last week
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆161Updated 2 months ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 5 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆54Updated 4 years ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆95Updated 2 weeks ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆77Updated 2 years ago
• tchajed / iris-simp-lang
  We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …
  ☆51Updated last week
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆151Updated last month
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆209Updated last month
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆34Updated 2 weeks ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆105Updated this week
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆105Updated 2 months ago
• imdea-software / htt
  Hoare Type Theory
  ☆75Updated 3 weeks ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago