Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by thery
A curated list of projects in awesome lists by thery .
https://github.com/thery/mathcomp-extra
Extra contribution for mathcomp
aks-algorithm binomial coq fourier-transform lucas-theorem matroid primality-test rsa-algorithm sorting-algorithms theorem-proving
Last synced: 04 Aug 2024
https://github.com/thery/GeometricAlgebra
Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/
coq-formalization geometric-algebra
Last synced: 04 Aug 2024