AlphaUncommon
RedPRL/cooltt
😎TT
- Owner
- RedPRL (organization)
- Stars
- Stars: 251
- Forks
- Forks: 14
- Language
- OCaml
- License
- Apache-2.0
- Created
- 2019
- Topics
- cubical-type-theoryproof-assistanttype-theoryhomotopy-type-theoryocamlocaml-program
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by RedPRL
All 3 repos by RedPRL- RedPRL/sml-redprlStars: 229Standard MLPrototype
- RedPRL/redttStars: 224OCamlPrototype
Nearby in OCaml
All OCaml repos- backtracking/ocamlgraphStars: 253OCamlAlpha
- rescript-lang/syntaxStars: 253OCamlAlpha
- nlsandler/nqcc2Stars: 252OCamlAlpha
- lukaszcz/coqhammerStars: 249OCamlPrototype
- Zilliqa/scillaStars: 249OCamlPrototype
- arthaud/c2bfStars: 248OCamlPrototype