GitHub repository: storm-framework/storm
Primary language: Haskell
Description: Static security for database-backed Haskell applications using Liquid Haskell