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

PrototypeCommune

andreasabel/miniagda

A prototypical dependently typed languages with sized types and variances

Propriétaire: andreasabel (compte personnel)
Étoiles: Étoiles : 115
Forks: Forks : 4
Langage: Haskell
Licence: MIT
Création: 2016
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Haskell

Tous les dépôts Haskell

wyager/NeksÉtoiles : 115HaskellPrototype
imeckler/moteÉtoiles : 115HaskellPrototype
judah/pierÉtoiles : 115HaskellPrototype
xmonad/X11Étoiles : 115HaskellPrototype
bgamari/b-treeÉtoiles : 115HaskellPrototype
bjornbm/dimensionalÉtoiles : 115HaskellPrototype