Alternatives and similar repositories for libdash

Users that are interested in libdash are comparing it to the libraries listed below

• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• darrenldl / stramon
  Process behavior monitoring utility and library based on strace
  ☆28Updated 2 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 5 months ago
• BranchTaken / Hemlock
  Programming language
  ☆31Updated 3 months ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated last week
• binpash / shasta
  A shell AST library in Python
  ☆10Updated 4 months ago
• rocq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• attresearch / yakker
  ☆23Updated 13 years ago
• russross / cownfs
  Copy-on-write NFS server
  ☆15Updated 15 years ago
• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 5 months ago
• colis-anr / lintshell
  A user-extensible lint for POSIX shell
  ☆11Updated 5 years ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 5 months ago
• mirage / mrmime
  What do you mean?
  ☆43Updated 2 months ago
• aryx / syncweb
  literate programming meets unison
  ☆28Updated this week
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆31Updated last month
• leahneukirchen / tt
  a 9term-compatible terminal in Ruby/Tk
  ☆16Updated 13 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• catern / sfork
  A synchronous, single-threaded interface for starting processes on Linux
  ☆34Updated 3 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 8 months ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆34Updated this week
• leahneukirchen / rwc
  report when files change
  ☆39Updated last year
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• aryx / xix
  Plan9 software ported to OCaml
  ☆30Updated this week
• Armael / stone
  A simple static website generator, written in OCaml
  ☆23Updated 3 years ago
• leahneukirchen / necho
  minimal, sensible alternatives to echo(1)
  ☆16Updated 7 years ago
• andrewchambers / crushstore
  A horizontally scaling object store based on the CRUSH placement algorithm.
  ☆11Updated 2 years ago
• uwplse / magic
  Demystifying the magic of supertactics
  ☆13Updated 3 years ago