GitHub repository: thealmarty/totality-checker
Primary language: TeX
Description: A totality checker for a dependently typed language implemented in Haskell.