GitHub repository: seanwevans/TypeCrypt
Primary language: Haskell
Description: An encryption scheme where types are keys