AlphaUncommon
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
- Owner
- mortberg (personal account)
- Stars
- Stars: 609
- Forks
- Forks: 76
- Language
- Haskell
- License
- MIT
- Created
- 2015
- Topics
- cubical-type-theorytype-theoryhomotopy-type-theoryunivalent-foundations
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Haskell
All Haskell repos- Gabriella439/graceStars: 623HaskellAlpha
- tomjaguarpaw/haskell-opaleyeStars: 619HaskellAlpha
- brendanhay/amazonkaStars: 617HaskellAlpha
- kadena-io/pactStars: 606HaskellAlpha
- xmonad/xmonad-contribStars: 602HaskellAlpha
- z0w0/helmStars: 597HaskellAlpha