Implementing and combining various type systems with principal type schemes
-
Updated
Nov 19, 2020 - C#
Implementing and combining various type systems with principal type schemes
This provides a calculator for natural units (preferred: eps0 = 1, G = 1) in different bases (preferred: 6), with different naming schemes (preferred: DividedByBaseInLojbanNumbering). Also provides LaTeX document with lookup and comparison values.
Unit conversion web app built in Python
Python library providing effortless unit handling and currency conversion for scientific and engineering purposes.
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
Docfx documentation for units-core
Simple C++ 14 units of measurement library for type safety when dealing with physical units calculations.
Userscript to translates imperial units to metric units on all websites
A Utility class for units of measure conversions for scientific analysis.
benri is a c++ library for compile time checking of physical quantities.
Automatically exported from code.google.com/p/unitsofmeasure
python package to work with different physical units as types and pythons type annotations
Measure Units Auto-Generated Imperative Procedural General
A simple utility package to convert weather data across various measure units
Verktyg och grafer för fysik.
Qkmaxware.Astro.Measurement builds on Qkmaxware.Measurement by adding units of measurement specific to the field of astronomy.
🌍 Trinity Units website.
Units library supporting UNECE rec. 20 and rec. 21 standards
A c++ header-only library for typesafe units-of-measure
Add a description, image, and links to the units-of-measure topic page so that developers can more easily learn about it.
To associate your repository with the units-of-measure topic, visit your repo's landing page and select "manage topics."