The agda-unimath library

Extensive learning notes on mathematics. Now hosted at https://git.sr.ht/~presheaf/deep-dive

Reifying dynamical algebra: maximal ideals in countable rings, constructively

An exploration of fumulas in Agda—a new perspective on ring theory

An undergraduate abstract algebra textbook

Graduate algebra reviewer

"Rings & Modules" notes reproduction《环与模》讲义重刻

Some tools for researching a particular near-ring over free groups

This repo contains complementary code for the paper Global Representation Ring and Knutson Index (authors: Dylan Johnston, Diego Martín Duro, Dmitriy Rumynin). The repo contains a program written in Sage & GAP to produce tables for global representation rings of a finite group G.

Ring and Module theory