real-number topic

algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics

programmerjake

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]

coq-community

A Python library for working with arbitrary-dimension hypercomplex numbers following the Cayley-Dickson construction of algebras.

discretegames