Nix, the purely functional package manager

Updated 3 hours ago

An x86/64 Separation Kernel for High Assurance

Updated 7 hours ago

communications

Updated 4 months ago

Updated 4 months ago

Updated 5 months ago

Updated 7 hours ago

the alpine linux base for you

Updated 5 months ago

A model for Internet Gateway over a cjdns mesh

Updated 6 hours ago

Updated 6 hours ago

A CRDT library with δ-CRDT support.

Updated 7 hours ago

Updated 7 months ago

A simple, lightweight C library for writing XMPP clients

Updated 3 hours ago

Signal Protocol C Library

Updated 2 hours ago

Elixir bindings for libsodium (NIF)

Updated 6 hours ago

Implements OMEMO in C

Updated 2 hours ago

LetsEncrypt companion container for nginx-proxy

Updated 10 months ago

Updated 5 months ago

seL4 specification and proofs

Updated 6 hours ago

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

Updated 4 months ago

BitTorrent DHT library

Updated 6 hours ago