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…
  ☆46Updated 7 months ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆108Updated 3 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆80Updated last month
• rems-project / lem
  Lem semantic definition language
  ☆146Updated 6 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 4 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆108Updated last year
• au-ts / cogent
  Cogent Project
  ☆166Updated 5 months ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆23Updated 8 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 8 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆49Updated last month
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 5 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆36Updated last month
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆35Updated 3 weeks ago
• imdea-software / htt
  Hoare Type Theory
  ☆78Updated 3 months ago
• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆26Updated 5 years ago
• simonmichael / shelltestrunner
  Easy, repeatable testing of CLI programs/commands
  ☆145Updated 5 months ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆105Updated last month
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆154Updated last month
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆34Updated 2 weeks ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 8 years ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆43Updated 8 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆68Updated 2 years ago