| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| rand.adapt/ | 04-Jul-2025 | - | 2,405 | 1,406 | ||
| rand.device/ | 04-Jul-2025 | - | 186 | 103 | ||
| rand.dist/ | 04-Jul-2025 | - | 21,957 | 13,942 | ||
| rand.eng/ | 04-Jul-2025 | - | 3,144 | 2,079 | ||
| rand.predef/ | 04-Jul-2025 | - | 272 | 100 | ||
| rand.req/ | 04-Jul-2025 | - | 213 | 119 | ||
| rand.util/ | 04-Jul-2025 | - | 1,228 | 1,016 |