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…
  ☆42Updated 2 months ago
• rems-project / lem
  Lem semantic definition language
  ☆138Updated last month
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆104Updated 3 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated last month
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 3 months ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆104Updated last year
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆53Updated 4 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆152Updated 3 weeks ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆51Updated 4 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated last week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 4 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• Mtac2 / Mtac2
  ☆55Updated 2 weeks ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆117Updated last year
• au-ts / cogent
  Cogent Project
  ☆162Updated last month
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆37Updated 6 months ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆34Updated this week
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆42Updated 8 years ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated last week
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆94Updated 2 months ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆129Updated 5 months ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆85Updated this week
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆104Updated 2 weeks ago
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆20Updated last year