Alternatives and similar repositories for littlecheck

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

• mistydemeo / xenoglossia
  Robust(?) string manipulation language
  ☆32Updated 9 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 8 months ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆88Updated 5 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 2 weeks ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆37Updated 9 months ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆120Updated 2 years ago
• baguette / rs-babygc
  A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust
  ☆16Updated 9 years ago
• kattrali / webkitten
  A command-driven web browser toolkit inspired by luakit and Vim.
  ☆41Updated 3 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated last month
• sembr / specification
  Semantic Line Breaks Specification
  ☆94Updated last year
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆236Updated 3 weeks ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆43Updated 9 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• bennorth / git-dendrify
  Transform git histories between tree-like and linear forms
  ☆28Updated 5 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 2 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 3 years ago
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆74Updated 7 months ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆22Updated 5 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆276Updated 8 years ago
• droundy / bigbro
  library (and utility) for tracking filesystem changes
  ☆17Updated 4 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• tree-sitter / tree-sitter-cli
  CLI tool for creating and testing tree-sitter parsers
  ☆45Updated 6 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago