GitHub repository: mathandley/RTick
Primary language: Haskell
Description: Reasoning about resource usage in Liquid Haskell