
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Starred repositories
5
stars
written in Java
Clear filter
Cryptomator for Windows, macOS, and Linux: Secure client-side encryption for your cloud storage, ensuring privacy and control over your data.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Open-source Ethereum consensus client written in Java
Demonstrates how WhatsApp generates and recovers cipher keys from encrypted backup files on Android devices.