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
  ☆199Updated 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…
  ☆46Updated 9 months ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆111Updated 3 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆83Updated 3 months ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• rems-project / lem
  Lem semantic definition language
  ☆148Updated 8 months ago
• au-ts / cogent
  Cogent Project
  ☆169Updated 8 months ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆109Updated 2 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆26Updated 10 months ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆23Updated 9 months ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆36Updated last month
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆106Updated last month
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆154Updated last month
• astampoulis / makam
  The Makam Metalanguage
  ☆200Updated 2 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆39Updated this week
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆24Updated 10 months ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆49Updated 3 months ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆129Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated last week
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• simonmichael / shelltestrunner
  Easy, repeatable testing of CLI programs/commands
  ☆146Updated 7 months ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆63Updated 2 weeks ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆84Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆42Updated 6 years ago