Home » software.amazon.smithy.dafny » conversion

Smithy :: Dafny :: Conversion

Convert Native Java Types to Dafny Runtime Types and vice versa
LicenseApache 2.0
Tagsconversionamazonsmithy
Ranking
#80335in MvnRepository
HomePage https://github.com/smithy-lang/smithy 🔍 Inspect URL
Links

Latest Versions

3 versions →
VersionVulnerabilitiesUsagesDate
0.1.x
0.1.2
0
Jan 13, 2026
0.1.1
2
Oct 08, 2024
0.1
3
May 23, 2023
3 versions →