Lists (32)
Applications
13 repositories
Awesome
10 repositories
Backup
2 repositories
Chat
1 repository
CI/CD
17 repositories
Containers
50 repositories
Databases
112 repositories
DevOps
5 repositories
Editors
6 repositories
Feature Flags
2 repositories
Graphics
1 repository
Identity and Access Management
18 repositories
Java
60 repositories
JSON
1 repository
Kubernetes
70 repositories
Learning
37 repositories
Low Code/No Code
9 repositories
Messaging
15 repositories
Observability
41 repositories
OpenAPI
6 repositories
Python
1 repository
Rust
62 repositories
Security Tools
28 repositories
Shell
16 repositories
Social Media
1 repository
Spring Boot
4 repositories
Testing
28 repositories
Utilities
36 repositories
Version Control
1 repository
Video
3 repositories
WASM
10 repositories
Webdev
50 repositories
Starred repositories
2
results
for source starred repositories
written in Rocq Prover
Clear filter
An axiom-free formalization of category theory in Coq for personal study and practical work
A framework for formally verifying distributed systems implementations in Coq