laMudri James Wood
github.com/laMudri · maintains 7 packages (7 directly), sole maintainer of 3, member of 0 teams
7 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Various table-based input methods for IBus |
1.3.22 |
2 | 6 | 0 | 0 | maintained | ||
IBus framework for table-based input methods |
1.17.19 → 1.18.0 |
1 | 10 | 2 | 2 | single outdated | ||
Interactive theorem prover based on Higher-Order Logic |
4-trindemossen-2 |
1 | 7 | 0 | 0 | single | ||
Last.fm and Libre.fm standalone scrobbler for the cmus music player |
0.5.0 |
2 | 7 | 0 | 0 | maintained | ||
Graphical Audio CD ripper and encoder for Linux |
3.1.0-unstable-2025-03-24 |
1 | 11 | 0 | 0 | single | ||
Standard library for use with the Agda compiler |
2.3 |
4 | 3 | 4 | 4 | maintained | ||
Programming library for Agda |
0-unstable-2024-08-22 |
3 | 3 | 0 | 0 | maintained |