Bodigrim/mod
Modular arithmetic, promoting moduli to the type level
GitHub repository with 24 stars and 3 forks.
Language: Haskell
Topics: exponentiation, finite-numbers, inversion, modular-arithmetic, modular-exponentiation, modular-inversions, moduli, number-theory