Correctness
3 projects
Showing 3 of 3 projects
PC#
A state machine based programming language for formally modeling and analyzing complex distributed systems.
#event-driven#programming-language#state-machines
Stars3.6k
Forks218
Last commit1 month ago
verusRust
A tool for statically verifying the correctness of Rust code using formal specifications and automated solvers.
#systems-programming#correctness#safety-critical
Stars2.5k
Forks163
Last commit2 days ago
timeRust
A comprehensive date and time library for Rust with a focus on safety, correctness, and ergonomics.
#parsing#formatting#correctness
Stars1.3k
Forks294
Last commit11 days ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.