Repository Showcase
A curated collection of interesting GitHub repositories
Certora/CertoraProver
formally verifies smart contracts for security
Related repos
- centralized certificate management with Let’s Encrypt integration
- SSL certificate management with API and UI
- A private certificate authority for DevOps
- open source authorization layer for app access control
- automates getting and renewing HTTPS certificates for web servers
- OpenSSL source code and tools for cryptography and secure communication
- Go CLI tool for managing homelab certificate authorities
- private, encrypted knowledge base app for desktop
- tool for automating PKI, certificates, SSH, and crypto tasks
- web UI for managing mkcert SSL certificates
