GIT_FEED

creusot-rs/creusot

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

View on GitHub
0Active

On the radar — signal detected

Stars
1.8k
Forks
80
Contributors
49
Language
Rust

Score updated Jun 26, 2026

// SUBSCRIBE

The repos that moved this week, why they matter, and what to watch next. One email. No noise.