formal-land/coq-of-rust
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification
Language:Coq
Total stars: 232
Stars trend:
#coq
#coq, #formalverification, #proof, #rust
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification
Language:Coq
Total stars: 232
Stars trend:
15 May 2024
6am ▎ +2
7am ▊ +6
8am █▌ +12
9am ▊ +6
10am ▊ +6
11am █▍ +11
12pm █ +8
1pm ▉ +7
2pm ▉ +7
3pm ▋ +5
4pm ▌ +4
5pm █ +8#coq
#coq, #formalverification, #proof, #rust
👍1
bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Language:TypeScript
Total stars: 20557
#typescript
#bend, #cuda, #dependenttypes, #gpu, #metal, #parallel, #programminglanguage, #proof, #theoremproving
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Language:TypeScript
Total stars: 20557
#typescript
#bend, #cuda, #dependenttypes, #gpu, #metal, #parallel, #programminglanguage, #proof, #theoremproving