Related projects are determined by recursively matching package homepage URLs. Note that this list may be incomplete as Repology may not be able to get homepage URLs from some repositories.
12 project(s) on this page
| Project | Spr | Newest | Outdated | Ignored | Rank |
|---|---|---|---|---|---|
| agda∗ | 9 | 2.8.0 | 2.7.0.17 2.6.4.34 2.6.4.1 2.6.4 2.6.33 2.6.2.23 2.6.1 2.6.0.1 2.5.4.1 2.5.32 2.4.2.5 2.3.2.22 2.3.0.1 | 2.6.2.98d4eb0 2.5.1.r8151.g4108da695 HEAD | 100.00 |
| agda-stdlib∗ | 4 | 2.1.12 | 2.1 1.7.33 1.7.2 1.7.12 1.3 1.1 0.17 0.14 0.11 0.7 | 91.64 | |
| haskell:agda-executable∗ | 2 | 2.3.0.12 | 90.97 | ||
| agdawithpackages∗ | 1 | 2.7.0.1 | 2.6.4.3 2.6.4 2.6.3 2.6.2.2 | 83.98 | |
| emacs:agda-input∗ | 1 | 2.6.4.3 | 2.6.4 2.6.3 2.6.2.2 | 83.98 | |
| emacs:agda-mode∗ | 1 | 2.6.4.3 | 2.6.4 2.6.3 2.6.2.2 | 83.98 | |
| emacs:agda2-mode∗ | 1 | 2.7.0.1 | 83.98 | ||
| emacs:ott-mode∗ | 1 | 0.34 | 0.33 0.32 | 83.98 | |
| emacs:annotation∗ | 2 | 2.8.0 | 20250328.1043 20250328.1043 20200914.644 | 83.19 | |
| emacs:eri∗ | 2 | 2.8.0 | 20250328.1043 20250328.1043 20240220.2129 20200914.644 | 83.19 | |
| standard-library-unclassified∗ | 1 | 2.2 | 2.1.1 2.0 | 83.19 | |
| ott∗ | 5 | 0.343 | 0.333 0.322 0.25 | HEAD | 70.56 |
Legend: