GitHub repository: JorisCeulemans/sikkel
Primary language: Agda
Description: Multimode simple type theory as an Agda library.