| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| breduce/ | H | 03-May-2022 | - | 1,015 | 889 | |
| casefold/ | H | 12-Apr-2021 | - | 969 | 705 | |
| emacs/ | H | 12-Apr-2021 | - | 10,855 | 8,007 | |
| libreduce/ | H | 12-Apr-2021 | - | 5,687 | 4,432 | |
| newfront/ | H | 12-Apr-2021 | - | 4,104 | 2,838 | |
| qreduce/ | H | 03-May-2022 | - | 4,000 | 3,138 | |
| redfront/ | H | 12-Apr-2021 | - | 7,954 | 6,440 | |
| redlogtest/ | H | 12-Apr-2021 | - | 706 | 463 | |
| rlsmt/ | H | 12-Apr-2021 | - | 56 | 40 | |
| texmacs/ | H | 03-May-2022 | - | 21 | 12 |