Polish Open Source
Top 10 by stars
-
1
Companion code for "Why Dependent Types Matter" paper.⭐ 60
Language rankings
Agda
Top Agda repositories in Polish open source.
Snapshot:
People
Top 10 trending this month
No records.
See top 100Organizations
Top 10 by stars
No records.
See top 100Top 10 trending this month
No records.
See top 100