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
  ☆200Updated 2 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆77Updated 2 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆111Updated 3 years ago
• 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 11 months ago
• au-ts / cogent
  Cogent Project
  ☆174Updated 10 months ago
• rems-project / lem
  Lem semantic definition language
  ☆150Updated 10 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆88Updated 2 weeks ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆110Updated 2 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆157Updated last month
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆131Updated 2 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated 3 weeks ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆108Updated last month
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆24Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆41Updated 8 years ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆104Updated 7 months ago
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆173Updated this week
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆46Updated 6 years ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆42Updated last month
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆26Updated last year
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆97Updated 6 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated this week
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆67Updated 5 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆51Updated 5 months ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 5 months ago