PrototypeCommon
KesterTong/idris2048
2048 in Idris
- Owner
- KesterTong (personal account)
- Stars
- Stars: 124
- Forks
- Forks: 11
- Language
- Idris
- License
- BSD-3-Clause
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Idris
All Idris repos- edwinb/TypeDD-SamplesStars: 162IdrisPrototype
- christian-public/Idris2-ErlangStars: 149IdrisPrototype
- andorp/order-takingStars: 146IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
- joom/hezarfenStars: 119IdrisPrototype
- edwinb/SPLV20Stars: 116IdrisPrototype