SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

An advanced keyboard manager

⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

Main source code repository of the Tamarin prover for security protocol verification.

Software suite for ranking chess positions and accurately estimating the number of legal chess positions

nostr client app written in haskell and qt5

Translate between binary data and a human-readable collection of words.