The primary source code repository for Macaulay2, a system for computing...
The agda-unimath library
A computational algebra system in Smalltalk.
Rings: efficient JVM library for polynomial rings