Explore Projects
Discover 6 open source projects
Showing 1-6 of 6 projects
spacejam/sled
A high-performance, concurrent, embedded key-value database written in Rust for vibe coders.
8.9K
p-org/P
The P programming language, a formal methods-focused language for building distributed, event-driven systems
3.6K
hacl-star/hacl-star
HACL* is a formally verified cryptographic library written in the F* programming language, focused on security and high-performance.
1.8K
leanprover-community/mathlib3
A formal mathematics library for the Lean theorem prover, focused on building verified proofs.
1.7K
creusot-rs/creusot
Creusot helps developers prove their Rust code is correct using automated formal verification.
1.5K
informalsystems/quint
Quint is a formal specification language with delightful tooling for building verified software systems.
1.2K
Stay in the loop
Get weekly updates on trending AI coding tools and projects.