A Haskell implementation of probabilistic encryption schemes, such as the Goldwasser-Micali and Blum-Goldwasser cryptosystems. Bindings for at least the following programming languages planned: C, Python, Java