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
• nmathewson / tinytest
  Extremely minimal C unit test framework, used by Libevent and Tor
  ☆48Updated 7 years ago
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆117Updated last month
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆274Updated 8 years ago
• bjpop / berp
  An implementation of Python 3
  ☆314Updated 10 years ago
• shinh / makelisp
  Lisp implementation in GNU make
  ☆170Updated 10 years ago
• mauke / poly.poly
  Polyglots
  ☆83Updated 10 years ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆275Updated 8 years ago
• tsuna / boost.m4
  M4 macros to use Boost with the autotools
  ☆87Updated 10 months ago
• stedolan / bf.sed
  A brainfuck compiler, written in sed
  ☆159Updated 14 years ago
• chrisdone-archive / hulk
  Haskell IRC daemon.
  ☆141Updated 8 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
• eudoxia0 / magma
  Extending C with cmacro
  ☆343Updated 5 years ago
• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆87Updated 6 years ago
• shinh / sedlisp
  Lisp implementation in sed
  ☆556Updated 9 years ago
• GaloisInc / ivory
  The Ivory EDSL
  ☆406Updated 5 years ago
• echronos / echronos
  The eChronos real-time operating system
  ☆178Updated 6 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆233Updated last year
• hundt / git-time-travel
  Refer to a future commit sha1 in your commit message!
  ☆19Updated 10 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 11 years ago
• dmoulding / boilermake
  A reusable, but flexible, boilerplate Makefile.
  ☆195Updated 6 years ago
• Snaipe / Mimick
  A KISS, cross-platform C mocking library
  ☆165Updated last month
• mythryl / mythryl
  The Mythryl programming language
  ☆117Updated 10 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆157Updated 10 years ago
• bitrig / bitrig
  Bitrig base system repository.
  ☆260Updated 9 years ago
• mbains / STM32F4Discovery_GCC
  STM32F4Discovery GCC Template
  ☆10Updated 10 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆82Updated 9 years ago
• ReservedField / arm-compiler-rt
  Easy cross-compilation of compiler-rt for bare metal ARM targets
  ☆22Updated 9 years ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆152Updated 6 years ago