Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Cubicaltt | 547 | 7 months ago | 22 | mit | Haskell | |||||
Experimental implementation of Cubical Type Theory | ||||||||||
Two Level | 5 | 4 years ago | Lean | |||||||
Two-Level Type Theory |