dependent-type-theory topic

List dependent-type-theory repositories

cicada-solo

125
Stars
5
Forks
Watchers

Cicada Language (solo version)

verified publisher icon cicada-lang

cicada-plct

91
Stars
6
Forks
Watchers

Cicada Language (PLCT little team)

verified publisher icon cicada-lang

anders

18
Stars
1
Forks
Watchers

Anders: Cubical Type Checker

verified publisher icon forked-from-1kasper