Alternatives and similar repositories for quickcheck4c

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

• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆632Updated 5 years ago
• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆288Updated 5 years ago
• mauke / poly.poly
  Polyglots
  ☆83Updated 10 years ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆275Updated 8 years ago
• shinh / sedlisp
  Lisp implementation in sed
  ☆556Updated 9 years ago
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆117Updated last month
• nmathewson / tinytest
  Extremely minimal C unit test framework, used by Libevent and Tor
  ☆48Updated 7 years ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆152Updated 6 years ago
• bjpop / berp
  An implementation of Python 3
  ☆314Updated 10 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• tsuna / boost.m4
  M4 macros to use Boost with the autotools
  ☆87Updated 10 months ago
• joewalnes / tinytest
  A tiny unit-testing framework for C
  ☆171Updated 6 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 11 years ago
• chrisdone-archive / hulk
  Haskell IRC daemon.
  ☆141Updated 8 years ago
• GaloisInc / ivory
  The Ivory EDSL
  ☆406Updated 5 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆274Updated 8 years ago
• jekor / redo
  djb's redo implementation in Haskell (for Haskell from Scratch video series)
  ☆148Updated 8 years ago
• hundt / git-time-travel
  Refer to a future commit sha1 in your commit message!
  ☆19Updated 10 years ago
• evmar / c-repl
  a C read-eval-print loop (abandoned)
  ☆210Updated 5 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆97Updated 10 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆442Updated 3 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆87Updated 6 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• stedolan / bf.sed
  A brainfuck compiler, written in sed
  ☆159Updated 14 years ago
• cgaebel / pipe
  A simple thread-safe FIFO in C.
  ☆394Updated 3 years ago
• shinh / makelisp
  Lisp implementation in GNU make
  ☆170Updated 10 years ago
• marssaxman / startc
  minimal freestanding C library for bare-metal i386 development
  ☆278Updated 9 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 14 years ago
• mythryl / mythryl
  The Mythryl programming language
  ☆116Updated 10 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆83Updated 11 years ago