Alternatives and similar repositories for littlecheck

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

• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 4 months ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆26Updated last year
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆125Updated 2 years ago
• kattrali / webkitten
  A command-driven web browser toolkit inspired by luakit and Vim.
  ☆41Updated 3 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆200Updated 2 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 3 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆87Updated 6 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• mistydemeo / xenoglossia
  Robust(?) string manipulation language
  ☆32Updated 10 years ago
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆37Updated last year
• 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
• jacereda / fsatrace
  Filesystem access tracer
  ☆86Updated last year
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆16Updated last month
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆43Updated 8 years ago
• solidsnack / arx
  Bundles code and a job to run for local or remote execution.
  ☆195Updated 11 months ago
• sembr / specification
  Semantic Line Breaks Specification
  ☆101Updated last year
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆244Updated last month
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆80Updated 4 years ago
• richfelker / cowpatch
  ☆18Updated 5 years ago
• baguette / rs-babygc
  A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust
  ☆16Updated 10 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 6 months ago
• mjdominus / git-util
  Miscellaneous git scripts and utilities
  ☆140Updated last month
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• torbiak / git-autofixup
  create fixup commits for topic branches
  ☆208Updated last year
• bennorth / git-dendrify
  Transform git histories between tree-like and linear forms
  ☆28Updated 5 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago