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

PrototypeCommune

timjb/quantities

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

Propriétaire: timjb (compte personnel)
Étoiles: Étoiles : 164
Forks: Forks : 11
Langage: Idris
Licence: MIT
Création: 2013
Sujets: type-safetyunits-of-measureunit-conversion
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

idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
channable/dbcriticÉtoiles : 180IdrisPrototype
stefan-hoeck/idris2-packÉtoiles : 163IdrisPrototype
edwinb/TypeDD-SamplesÉtoiles : 162IdrisPrototype
christian-public/Idris2-ErlangÉtoiles : 149IdrisPrototype