francesco-bracchi/gambit-quickcheck

yet another quickcheck like library, leverages call/cc to create backtrace points, and test all combinations.

Scheme