CODATA Recommended Physical Constants with dimensional types
Contributions:2 releases, 14 commits, 5 PRs in 4 years 11 months
dimensionalphysicalcodatapostprocessing
Exact rational multiples of pi (and integer powers of pi) in Haskell
Contributions:2 releases, 50 commits, 5 PRs in 3 years 8 months
homotopy-type-theoryintegerhaskellpowersrational