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…
  ☆40Updated this week
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆193Updated last year
• rems-project / lem
  Lem semantic definition language
  ☆134Updated last month
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆71Updated last year
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆103Updated 2 years ago
• coq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆21Updated 3 weeks ago
• au-ts / cogent
  Cogent Project
  ☆161Updated last year
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆42Updated 7 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆75Updated last year
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆43Updated 5 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated 2 weeks ago
• ProjectSavanna / autoformat
  Standard ML autoformatter
  ☆15Updated 3 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• rems-project / netsem
  Network Semantics
  ☆86Updated 6 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆60Updated this week
• Mtac2 / Mtac2
  ☆52Updated last month
• goose-lang / goose
  Goose converts a subset of Go to Coq
  ☆111Updated this week
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• mht208 / homebrew-formal
  Homebrew formulae for formal methods
  ☆37Updated 4 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆53Updated 4 years ago
• coq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆102Updated 4 months ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆33Updated this week
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆91Updated 2 weeks ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• ManticoreProject / manticore
  Parallel ML compiler
  ☆72Updated 4 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆35Updated 3 months ago