PrototypeCommon
timjb/quantities
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
- Owner
- timjb (personal account)
- Stars
- Stars: 164
- Forks
- Forks: 11
- Language
- Idris
- License
- MIT
- Created
- 2013
- Topics
- type-safetyunits-of-measureunit-conversion
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Idris
All Idris repos- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- channable/dbcriticStars: 180IdrisPrototype
- stefan-hoeck/idris2-packStars: 163IdrisPrototype
- edwinb/TypeDD-SamplesStars: 162IdrisPrototype
- christian-public/Idris2-ErlangStars: 149IdrisPrototype