A low-level NIF interface to sqlite3
Automatically generate run time type checkers
A PropCheck backend that implements data generators for use with RTypes library