GitHub repository: DouglasRMiles/swipl-tt
Primary language: Prolog
Description: Implementation of dependent type theory in SWI-Prolog