Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
idris2-pack-db
Matthew-Mosior/idris2-pack-db
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
14d ago
Recent commits
Latest commits.
[ check ] collection update
98c126b
github-actions[bot]
14d ago
[ check ] collection update
3ce9cec
github-actions[bot]
15d ago
[ check ] collection update
4687c67
github-actions[bot]
16d ago
[ check ] collection update
198a2b8
github-actions[bot]
17d ago
[ check ] collection update
ab1b393
github-actions[bot]
18d ago
[ check ] collection update
bb00db9
github-actions[bot]
19d ago
[ check ] collection update
9342981
github-actions[bot]
20d ago
[ cleanup ] remove most 2024 nightlies (#260)
170c83a
Stefan Höck
21d ago
Top contributors
Builders behind this project.
github-actions[bot]
1.5K commits
stefan-hoeck
179 commits
buzden
19 commits
joelberkeley
10 commits
andrevidela
8 commits
running-grass
8 commits
ysangkok
6 commits
kbertalan
6 commits
