Typed List vs Petra

PetraTyped List
Stars1019
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit7 years ago3 years ago
Total Releases
Latest Release
Open Issues1
Licensemit
Programming LanguageC++Scala