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