GitHub repository: oisdk/agda-ring-solver
Primary language: Agda
Description: A fast, easy-to-use ring solver for agda with step-by-step solutions