Alternatives and similar repositories for smoosh

Users that are interested in smoosh 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…
  ☆43Updated 4 months ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆195Updated last year
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆107Updated 3 years ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 3 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆78Updated last month
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 5 months ago
• au-ts / cogent
  Cogent Project
  ☆165Updated 3 months ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆77Updated 2 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆153Updated 3 months ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated last week
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆54Updated 4 years ago
• Mtac2 / Mtac2
  ☆55Updated 2 months ago
• rems-project / cerberus
  Cerberus C semantics
  ☆62Updated last week
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆37Updated 8 months ago
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆34Updated last week
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 4 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆72Updated 2 months ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆106Updated last year
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆122Updated 3 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆209Updated last month
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• rems-project / netsem
  Network Semantics
  ☆88Updated 6 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆76Updated last week
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated last year
• ProjectSavanna / autoformat
  Standard ML autoformatter
  ☆15Updated 3 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆24Updated 3 months ago