GitHub repository: vimuel/gram-language
Primary language: Haskell
Description: A statically typed functional language with graded modal types.