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.
9 project(s) on this page
| Project | Spr | Newest | Outdated | Ignored | Rank |
|---|---|---|---|---|---|
| agda∗ | 10 | 2.6.38 | 2.6.2.23 2.6.2.1 2.6.23 2.6.1.2 2.6.12 2.6.0.12 2.5.4.2 2.5.4.1 2.5.32 2.5.22 2.4.2.5 2.3.2.22 2.3.0.1 | 2.6.2.98d4eb0 2.5.1.r8151.g4108da695 HEAD | 100.0 |
| agda-stdlib∗ | 4 | 1.7.23 | 1.7.12 1.72 1.4 1.32 1.12 0.172 0.15 0.14 0.13 0.11 0.7 | 92.22 | |
| haskell:agda-executable∗ | 2 | 2.3.0.12 | 90.97 | ||
| agdawithpackages∗ | 1 | 2.6.3 | 2.6.2.2 2.6.2 | 86.2 | |
| emacs:agda-input∗ | 1 | 2.6.3 | 2.6.2.2 2.6.2 | 86.2 | |
| emacs:agda-mode∗ | 1 | 2.6.3 | 2.6.2.2 2.6.2 | 86.2 | |
| emacs:ott-mode∗ | 1 | 0.33 | 0.32 0.31 | 86.2 | |
| emacs:annotation∗ | 2 | 2.6.3.20230930 | 20200914.644 20200914.644 | 83.19 | |
| emacs:eri∗ | 2 | 2.6.3.20230930 | 20200914.644 20200914.644 | 83.19 |
Legend: