Alternatives and similar repositories for littlecheck

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

• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆123Updated 2 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 2 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• mistydemeo / xenoglossia
  Robust(?) string manipulation language
  ☆32Updated 10 years ago
• sembr / specification
  Semantic Line Breaks Specification
  ☆97Updated last year
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 9 months ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 2 years ago
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆238Updated last week
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• richfelker / cowpatch
  ☆18Updated 5 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆88Updated 6 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆196Updated last year
• solidsnack / arx
  Bundles code and a job to run for local or remote execution.
  ☆193Updated 8 months ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆252Updated last year
• kattrali / webkitten
  A command-driven web browser toolkit inspired by luakit and Vim.
  ☆40Updated 3 years ago
• baguette / rs-babygc
  A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust
  ☆16Updated 9 years ago
• awgn / cgrep
  Cgrep: a context-aware grep for source codes
  ☆716Updated this week
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• ivanov / kanten
  the enlightened pager. less paging. more content. read widely.
  ☆21Updated 5 years ago
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆74Updated 9 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• jacereda / fsatrace
  Filesystem access tracer
  ☆84Updated last year
• andrewshadura / git-crecord
  Git subcommand to interactively select changes to commit or stage
  ☆210Updated 4 months ago
• silentbicycle / autoclave
  repeatedly run programs until they break, and be ready to attach a debugger
  ☆196Updated 7 years ago
• nfomon / shok
  shok command shell
  ☆144Updated 9 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 8 months ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆16Updated 2 weeks ago
• mdr / mash
  An experimental object shell for Unix
  ☆56Updated 7 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆22Updated 5 years ago