quantities
by timjb
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
AI summary
Unit converter library
A library for type-safe physical computations and unit conversions in Idris.
- stars
- 158
- forks
- 11
- watching
- 12
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Unit converter
A browser extension that converts units between imperial and metric systems
Unit converter
A dimensional analysis library based on shapeless, spire and singleton-ops for SI units support
Unit converter
A JavaScript library for converting between different units of measurement such as bytes, milliseconds, and time intervals.
Unit converter library
A unit converter library written in Swift for macOS applications
Unit library
Enables dimension-level analysis and unit handling in Nim programming language
Unit converter
An ActionScript library for parsing, formatting and converting units of measure
Unit converter
A compile-time dimensional analysis and unit conversion library.
Unit converter
A library for representing and converting physical quantities in various units of measure
Unit converter
A unit conversion library for Swift
llnl/units147
Unit converter library
A C++ library for working with units of measurement at runtime, enabling conversions between them and with string representations.
Unit formatter
Utility library to format physical values in properly scaled metric units
Quantity units library
Provides a statically-typed quantity units library for the Nim language
Unit calculator
A gem that simplifies unit conversions in scientific calculations by providing a class to handle units and perform various mathematical operations on them.
Unit converter
A PHP library for converting units and sizes across different measurement systems
Unit conversion library
Provides compile-time dimensional analysis for Haskell applications
Featured in 1 awesome list
Each link jumps to the spot where the list mentions quantities.
