sheganinans/Static-Dimensions
A statically typed dimensional analysis calculator written in Agda.
GitHub repository with 5 stars and 1 forks.
Language: Agda
Latest metric snapshot
2026-07-15: 5 stars and 1 forks.
A statically typed dimensional analysis calculator written in Agda.
GitHub repository with 5 stars and 1 forks.
Language: Agda
2026-07-15: 5 stars and 1 forks.