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

Automated developer-oriented status page with alerting and incident support

Jupyter adaptation of Learn You a Haskell for Great Good!

Tinfoil Chat - Onion-routed, endpoint secure messaging system

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

🦄 Record your terminal and generate animated gif images or share a web player

Make your own hard copy of "Harry Potter and the Methods of Rationality".

The Pynchon Gate: strong pseudonymous PIR-based email. (Work in progress)

Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

A modern, portable, easy to use crypto library.

Cryptography that's easy to digest (NaCl/libsodium bindings)

lowlevel set of cryptographic primitives for haskell

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

Noise Protocol Framework - Python 3 implementation

A Haskell library implementing the Noise protocol.

Official Haskell IDE support via the language server protocol (LSP)

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Coz: Causal Profiling

🧠 Laws, Theories, Principles and Patterns for developers and technologists.