Alternatives and similar repositories for quickcheck4c:

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

• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆86Updated 5 years ago
• regehr / const_time
  empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
  ☆9Updated 9 years ago
• dylan-hackers / network-night-vision
  IP stack written in Dylan - includes binary parsing and interactive GUI
  ☆25Updated 11 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆82Updated 10 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• mikebolt / posh
  A modular shell
  ☆17Updated 10 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 11 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆39Updated 3 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 12 years ago
• davidmalcolm / pygccjit
  Python bindings for libgccjit.so
  ☆48Updated 9 years ago
• chrisdone-archive / hulk
  Haskell IRC daemon.
  ☆141Updated 8 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆24Updated 4 years ago
• grogers0 / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆112Updated 8 years ago
• deplinenoise / c-amplify
  S-expression source translation and macro expansion utility
  ☆83Updated 14 years ago
• arclanguage / arc-nu
  Rewrite of Arc 3.1 with more features, more speed, and bug fixes. Still compatible with Arc 3.1.
  ☆48Updated 7 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• nmathewson / tinytest
  Extremely minimal C unit test framework, used by Libevent and Tor
  ☆47Updated 6 years ago
• archhaskell / archlinux
  ☆24Updated 9 years ago
• drewvid / parallella-lisp
  A small implementation of LISP for the Parallella-16 board
  ☆31Updated 6 months ago
• mythryl / mythryl
  The Mythryl programming language
  ☆117Updated 9 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆107Updated 8 years ago
• djcapelis / atomic-ring
  Some code in C that allows one thread to pass items to another thread without locking
  ☆39Updated 8 years ago
• wbhart / Cesium3
  Fast interpreter with macros, local type inference, LLVM backend.
  ☆163Updated 6 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆53Updated 9 months ago
• burz / Feval
  evaluation using f-algebras
  ☆23Updated 9 years ago