Signal Protocol C Library

Updated 2 hours ago

Elixir bindings for libsodium (NIF)

Updated 3 hours ago

Implements OMEMO in C

Updated 2 hours ago

LetsEncrypt companion container for nginx-proxy

Updated 1 year ago

Updated 11 months ago

seL4 specification and proofs

Updated 2 hours ago

Updated 2 hours ago

🍍🕘🍏📵 🐊🐒💍🐠 📦😍📓📫

Updated 10 months ago

BitTorrent DHT library

Updated 2 hours ago

Updated 2 hours ago

Jehanne Operating System

Updated 2 hours ago

Signed/Encrypted ARchive: always-encrypted tar-like archive tool with optional signature support

Updated 2 hours ago

The source of the now defunct music podcast

Updated 4 months ago

Merkle DAG that replicates based on scuttlebutt logs and causal linking

Updated 2 hours ago

A geographically sorted list of public peering credentials for joining Hyperboria

Updated 2 hours ago

Create agents that monitor and act on your behalf. Your agents are standing by!

Updated 2 hours ago

A JavaScript toolkit of micro-libraries for all of your HTML building needs

Updated 4 months ago

Updated 2 hours ago