About
Creusot helps you prove your Rust code is correct.
1,936
⭐ Stars
100
🍴 Forks
0
📊 Data Points
0
📋 Lists
Star Growth
Tracking started Oct 22, 2026 at 1,936 stars. Growth appears after the next check.
Trending History
No trending data available yet.
Similar Repositories
Related by topic and descriptionQuick Info
Language
Rust
Last Push
Oct 22, 2026
Activity
Active
Indexed
Oct 22, 2026