Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with real-number
A curated list of projects in awesome lists tagged with real-number .
https://github.com/coq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
coq coq-ci coq-library coq-platform real-number
Last synced: 31 Jul 2024
https://github.com/programmerjake/algebraics
algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
algebraic-numbers quadratic-equations quadratic-numbers real-number rust
Last synced: 09 Aug 2024