Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "why3" keyword
pearlite 0.1.0
Reserved for Creusot's pearlite language crate1 version - Latest release: over 2 years ago - 399 downloads total - 968 stars on GitHub - 1 maintainer