GitHub Awesome Search
Ranking
User
Stars this week
New repository
Trending Archive
User: statebox
idris-ct
in
joaomilho/awesome-idris
formally verified category theory library
created at March 26, 2019, 7:42 p.m.
Idris
21
+0
250
+1
22
+0
GitHub
Sort: Fewest watchers
Most stars
Fewest stars
Most forks
Fewest forks
Most watchers
Fewest watchers
Recently created
Least recently created
Recently updated
Least recently updated
Most repositories
Fewest repositories
All languages
1
Idris
1