Projects in Awesome Lists tagged with setoid
A curated list of projects in awesome lists tagged with setoid .
https://github.com/eadm/rational-setoid
Setoid for rational numbers written in Idris
Last synced: 20 Jan 2026
A curated list of projects in awesome lists tagged with setoid .
Setoid for rational numbers written in Idris
Last synced: 20 Jan 2026