Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

PrototypeCommune

KesterTong/idris2048

2048 in Idris

Propriétaire: KesterTong (compte personnel)
Étoiles: Étoiles : 124
Forks: Forks : 11
Langage: Idris
Licence: BSD-3-Clause
Création: 2014
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Idris

Tous les dépôts Idris

edwinb/TypeDD-SamplesÉtoiles : 162IdrisPrototype
christian-public/Idris2-ErlangÉtoiles : 149IdrisPrototype
andorp/order-takingÉtoiles : 146IdrisPrototype
idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
joom/hezarfenÉtoiles : 119IdrisPrototype
edwinb/SPLV20Étoiles : 116IdrisPrototype