# timjb/quantities

<https://repo.masters-masters.com/repos/timjb/quantities>

[Accueil](https://repo.masters-masters.com/) › [timjb](https://repo.masters-masters.com/owners/timjb) › [quantities](https://repo.masters-masters.com/repos/timjb/quantities)

timjb/quantities, dépôt open source à 164 étoiles sur GitHub. Carte Prototype de RepoMasters. Type-safe physical computations and unit conversions in Idris ⚖…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [timjb](https://repo.masters-masters.com/owners/timjb) |
| Étoiles | 164 |
| Forks | 11 |
| Langage | [Idris](https://repo.masters-masters.com/languages/idris) |
| Licence | MIT |
| Création | 2013 |
| Sujets | type-safety, units-of-measure, unit-conversion |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [timjb/quantities](https://github.com/timjb/quantities) |

## Fiche du dépôt

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

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Idris

- [idris-hackers/idris-demos · ★ 195 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-hackers/idris-demos)
- [idris-hackers/idris-koans · ★ 181 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-hackers/idris-koans)
- [channable/dbcritic · ★ 180 · Idris · Prototype](https://repo.masters-masters.com/repos/channable/dbcritic)
- [stefan-hoeck/idris2-pack · ★ 163 · Idris · Prototype](https://repo.masters-masters.com/repos/stefan-hoeck/idris2-pack)
- [edwinb/TypeDD-Samples · ★ 162 · Idris · Prototype](https://repo.masters-masters.com/repos/edwinb/TypeDD-Samples)
- [christian-public/Idris2-Erlang · ★ 149 · Idris · Prototype](https://repo.masters-masters.com/repos/christian-public/Idris2-Erlang)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.