nivox / quickcheck4c

Related projects ⓘ

Alternatives and complementary repositories for quickcheck4c

• thestinger / allocator
  experimental high performance, low fragmentation memory allocator
  ☆55Updated 7 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆47Updated 4 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated 8 months ago
• dimkr / libwaive
  A library that allows processes to waive their rights
  ☆27Updated 8 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆56Updated 13 years ago
• andrewchambers / qc
  quick c
  ☆34Updated 2 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 9 years ago
• mythryl / mythryl
  The Mythryl programming language
  ☆116Updated 8 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 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
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 8 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 9 years ago
• dylan-hackers / network-night-vision
  IP stack written in Dylan - includes binary parsing and interactive GUI
  ☆25Updated 10 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 12 years ago
• ephsec / llvm-forth
  LLVM Forth Experiments
  ☆24Updated 9 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 10 years ago
• Fedjmike / tush
  ☆23Updated 8 years ago
• danfis / cu
  C Unit Testing Framework
  ☆24Updated 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
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated last month
• wbhart / Cesium3
  Fast interpreter with macros, local type inference, LLVM backend.
  ☆163Updated 6 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 14 years ago
• deplinenoise / c-amplify
  S-expression source translation and macro expansion utility
  ☆82Updated 14 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