Qwendu/Hungarian_Unit_Checker
A Hungarian Unit Checker for Jai to statically guarantee unit correctness for numerical programs
Stargazers
No one’s star this repository yet.
A Hungarian Unit Checker for Jai to statically guarantee unit correctness for numerical programs
No one’s star this repository yet.