| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| Devel/TypeTiny/ | H | 03-May-2022 | - | 158 | 42 | |
| Error/ | H | 03-May-2022 | - | 754 | 280 | |
| Eval/ | H | 03-May-2022 | - | 448 | 276 | |
| Reply/Plugin/ | H | 03-May-2022 | - | 106 | 43 | |
| Test/ | H | 03-May-2022 | - | 286 | 146 | |
| Type/ | H | 03-May-2022 | - | 16,258 | 9,026 | |
| Types/ | H | 03-May-2022 | - | 5,716 | 3,568 |