Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / creusot-rs 1 repository

A flexible, performant verifier for Rust programs

Creusot helps you prove your code is correct in an automated fashion.

Language: Rust - Size: 36 MB - Last synced: 11 days ago - Pushed: 14 days ago - Stars: 981 - Forks: 45