Hacker GitHub

← All repos

iliekturtles/uom

View on GitHub ↗ ★ 1,264 Rust

Units of measurement -- type-safe zero-cost dimensional analysis

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2021-01-06 · latest 2023-08-04

Mentions per year 3 mentions · busiest year 2021 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …full power of Why3 to (semi)-automatically discharge the verification conditions! Units of Measure, https://github.com/iliekturtles/uom The base properties of the language enable things that can never be done in C++.
    comment by sitkack · 2022-06-24 · in What it feels like when Rust saves your bacon
  2. There's also uom for Rust https://github.com/iliekturtles/uom which also provides types for type level operations
    comment by epilys · 2021-01-06 · in GNU Units