Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
formulae.brew.sh "verification" keyword
dafny 4.6.0
Verification-aware programming language22 versions - Latest release: about 2 months ago - 1 dependent repositories - 174 downloads last month - 2,765 stars on GitHub
Related Keywords