| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| Eigen/ | 04-Jul-2025 | - | 15 | 9 | ||
| unsupported/Eigen/ | 04-Jul-2025 | - | 4,782 | 3,937 | ||
| BUILD | D | 04-Jul-2025 | 1.9 KiB | 79 | 69 | |
| LICENSE | D | 04-Jul-2025 | 41.1 KiB | 1,073 | 971 | |
| eigen_archive.BUILD | D | 04-Jul-2025 | 1.8 KiB | 69 | 60 | |
| workspace.bzl | D | 04-Jul-2025 | 821 | 21 | 16 |