alexarice Alex Rice
github.com/alexarice · maintains 10 packages (10 directly), sole maintainer of 5, member of 0 teams
10 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
New Categories library |
0.3.0 |
2 | 3 | 0 | 0 | maintained | ||
Programming library for Agda |
0-unstable-2024-08-22 |
3 | 3 | 0 | 0 | maintained | ||
Cubical type theory library for use with the Agda compiler |
0.9 |
4 | 3 | 0 | 0 | maintained | ||
Agda standard library developed at Iowa |
1.5.0 |
2 | 3 | 0 | 0 | maintained broken | ||
Standard library for use with the Agda compiler |
2.3 |
4 | 3 | 4 | 4 | maintained | ||
Backlight and Keyboard LED control tool |
1.4.13 |
1 | 4 | 0 | 0 | single | ||
Dracula variant of the Ant theme |
4.0.0-unstable-2026-08-24 |
1 | 2 | 0 | 0 | single | ||
Simple input device tester for linux with Qt GUI |
0.2.0-unstable-2023-09-13 |
1 | 5 | 0 | 0 | single | ||
Make your database over PonyORM searchable |
1.7.8 |
1 | 15 | 0 | 0 | single | ||
Make your database over PonyORM searchable |
1.7.8 |
1 | 15 | 0 | 0 | single |