Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Quantities

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Stars
140
License
mit
Open Issues
1
Most Recent Commit
5 years ago
Programming Language
Idris
Categories
Site
Repo
Suggest An Alternative To quantities
Popular Measurements Projects
Popular Type Safety Projects
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 973total releases 928latest release March 10, 2021most recent commit a year agonpm ts-toolbelt} Downloads
Slonik ⭐ 4,154
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
dependent packages 88total releases 340latest release October 31, 2023most recent commit 6 months agonpm slonik} Downloads
Returns ⭐ 3,083
Make your functions return something meaningful, typed, and safe!
dependent packages 58total releases 23latest release August 26, 2023most recent commit 3 months agopypi returns} Downloads
Pgtyped ⭐ 2,700
pgTyped - Typesafe SQL in TypeScript
dependent packages 7total releases 33latest release October 07, 2023most recent commit 3 months agonpm @pgtyped/wire} Downloads
Hegel ⭐ 2,087
An advanced static type checker
dependent packages 4total releases 42latest release June 10, 2020most recent commit 6 months agonpm @hegel/cli} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Measurements Quantity
Measurements Units Of Measure
Quantity Units Of Measure
Units Of Measure Unit Conversion
Quantity Unit Conversion
Measurements Unit Conversion
Quantity Type Safety

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Measurements
Type Safety
Units Of Measure
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.