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
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆107Updated 3 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆77Updated 2 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…
  ☆43Updated 6 months ago
• rems-project / lem
  Lem semantic definition language
  ☆144Updated 4 months ago
• au-ts / cogent
  Cogent Project
  ☆166Updated 4 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆79Updated 2 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆54Updated 4 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆165Updated last month
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆154Updated last month
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆82Updated 3 weeks ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆19Updated 6 months ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆23Updated 7 months ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆214Updated 3 months ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 7 months ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆108Updated last year
• imdea-software / htt
  Hoare Type Theory
  ☆77Updated last month
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆127Updated 2 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 8 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆96Updated 2 months ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆146Updated 7 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆107Updated last month
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆148Updated 3 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆27Updated this week