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