GitHub repository: oleks/quickcheck-c-interface
Primary language: C
Description: Example code demonstrating how to use QuickCheck for Erlang to test C code