| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| common/ | H | 29-Sep-2021 | - | 22,111 | 18,009 | |
| fan/ | H | 29-Sep-2021 | - | 11,914 | 9,070 | |
| fulton/ | H | 29-Sep-2021 | - | 1,171 | 923 | |
| graph/ | H | 29-Sep-2021 | - | 15,142 | 10,855 | |
| group/ | H | 29-Sep-2021 | - | 7,256 | 5,285 | |
| ideal/rules/ | H | 29-Sep-2021 | - | 522 | 444 | |
| matroid/ | H | 29-Sep-2021 | - | 6,788 | 4,679 | |
| polytope/ | H | 29-Sep-2021 | - | 58,283 | 41,806 | |
| topaz/ | H | 29-Sep-2021 | - | 19,367 | 12,581 | |
| tropical/ | H | 29-Sep-2021 | - | 9,234 | 6,435 |