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.
  ☆117Updated last year
• richfelker / cowpatch
  ☆17Updated 4 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated last month
• darrenldl / stramon
  Process behavior monitoring utility and library based on strace
  ☆26Updated last year
• BranchTaken / Hemlock
  Programming language
  ☆31Updated 2 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆71Updated last year
• russross / cownfs
  Copy-on-write NFS server
  ☆15Updated 15 years ago
• binpash / shasta
  A shell AST library in Python
  ☆10Updated 2 weeks ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆42Updated 7 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆193Updated last year
• rems-project / cerberus
  Cerberus C semantics
  ☆60Updated this week
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆35Updated 3 months ago
• nhaehnle / less
  The well-known pager, with performance improvements for huge files
  ☆13Updated 10 years ago
• leahneukirchen / necho
  minimal, sensible alternatives to echo(1)
  ☆16Updated 7 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆29Updated 2 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• smasher164 / mexdown
  A lightweight integrating markup language
  ☆16Updated 4 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• leahneukirchen / leahutils
  description of leahutils
  ☆61Updated 2 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆19Updated 4 years ago
• leahneukirchen / te
  tiny emacs
  ☆26Updated 3 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• cverified / cbench
  A benchmark for C program verification
  ☆15Updated 11 months ago
• leahneukirchen / tt
  a 9term-compatible terminal in Ruby/Tk
  ☆15Updated 13 years ago
• tudurom / usam
  blending sam with the shell experiment
  ☆22Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆75Updated last year