sharkdp / numbat

A statically typed programming language for scientific computations with first class support for physical dimensions and units

printfn / fend

Arbitrary-precision unit-aware calculator