Lists (30)
aerospace
2 repositories
art
1 repository
biotechnology
46 repositories
cli-tools-and-libs
93 repositories
cloud-infra-devops
229 repositories
concurrency
108 repositories
data-engineering
363 repositories
embedded-and-robotics
90 repositories
finance
2 repositories
frontend-and-ui
54 repositories
functional-programming
20 repositories
games-and-gamedev
29 repositories
graphics
Rendering, visualization, video editing and art171 repositories
hpc-and-ai
588 repositories
learning-resources
309 repositories
libs
232 repositories
medicine-and-diagnosis
19 repositories
networking-and-distributed-sys
510 repositories
os-and-systems-dev
458 repositories
parsers-compilers-tracers
209 repositories
quantum-computing
3 repositories
runtimes
62 repositories
scientific
124 repositories
security-and-cryptography
126 repositories
silicon
10 repositories
simulations
40 repositories
theoretical-computer-science
39 repositories
utilities
130 repositories
web
199 repositories
web3
24 repositories
Starred repositories
4
stars
written in Rocq Prover
Clear filter
The CompCert formally-verified C compiler
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Verifying concurrent storage and distributed systems