GitHub Awesome Search
Ranking
User
Stars this week
New repository
Trending Archive
User: idream-build
idream
in
joaomilho/awesome-idris
A simple build system for Idris
updated at Oct. 6, 2023, 2:19 a.m.
Haskell
1
+0
23
+0
2
+0
GitHub
Sort: Recently updated
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
Haskell
1