agda の追跡中のオープンソースリポジトリを、スター数順に表示します。
Agda は依存型プログラミング言語および対話型定理証明系です
Agda標準ライブラリ
Cubical Agdaのための実験的ライブラリ
