storm-framework/storm

Static security for database-backed Haskell applications using Liquid Haskell

Storm

This repository contains the Storm code.

For examples of usage, see:

• Disco
• Voltron