| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 13-Mar-2025 | - | ||||
| cmp.alg/ | H | 13-Mar-2025 | - | 2,708 | 2,165 | |
| cmp.categories.pre/ | H | 13-Mar-2025 | - | 59 | 34 | |
| cmp.common/ | H | 13-Mar-2025 | - | 82 | 42 | |
| cmp.concept/ | H | 13-Mar-2025 | - | 452 | 349 | |
| cmp.partialord/ | H | 13-Mar-2025 | - | 195 | 162 | |
| cmp.result/ | H | 13-Mar-2025 | - | 89 | 60 | |
| cmp.strongord/ | H | 13-Mar-2025 | - | 204 | 170 | |
| cmp.weakord/ | H | 13-Mar-2025 | - | 186 | 152 | |
| compare.syn/ | H | 13-Mar-2025 | - | 110 | 78 |