PrototypeCommune
channable/dbcritic
Pas de description.
Archivé : ce dépôt n’évolue plus
- Propriétaire
- channable (organisation)
- Étoiles
- Étoiles : 180
- Forks
- Forks : 2
- Langage
- Idris
- Licence
- BSD-3-Clause
- Création
- 2021
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de channable
Les 5 dépôts de channable- channable/vaultenvÉtoiles : 465HaskellAlpha
- channable/opnieuwÉtoiles : 301PythonAlpha
- channable/alfred-margaretÉtoiles : 193HaskellPrototype
- channable/icepeakÉtoiles : 135HaskellPrototype
D’autres dépôts Idris
Tous les dépôts Idris- idris-community/idris2-lspÉtoiles : 205IdrisPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- timjb/quantitiesÉtoiles : 164IdrisPrototype
- stefan-hoeck/idris2-packÉtoiles : 163IdrisPrototype
- edwinb/TypeDD-SamplesÉtoiles : 162IdrisPrototype