bendlang/bend
+616Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
proof
Chủ đề #proof trên GitHub — repository trong kho Beeknoee có gắn topic này.
- Repository
- 3
- Tổng sao
- 27.6k
- 24 giờ
- +0.1%
- 7 ngày
- +2.4%
- 30 ngày
- +5.9%
Repository trong #proof
rocq-of-rust
+10Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
creusot
+10Creusot helps you prove your Rust code is correct.
Chủ đề khác
Các chủ đề phổ biến khác trong kho Beeknoee
