An x86/64 Separation Kernel for High Assurance

Updated 25 minutes ago

communications

Updated 5 months ago

Updated 6 months ago

Updated 7 months ago

Migrate a MoinMoin wiki as a Git repository

Updated 4 hours ago

Migrate a MoinMoin wiki as a Git repository

Updated 1 month ago

Updated 7 hours ago

the alpine linux base for you

Updated 7 months ago

A model for Internet Gateway over a cjdns mesh

Updated 7 hours ago

Updated 8 hours ago

A CRDT library with δ-CRDT support.

Updated 5 minutes ago

Updated 9 months ago

A simple, lightweight C library for writing XMPP clients

Updated 4 hours ago

Signal Protocol C Library

Updated 2 hours ago

Elixir bindings for libsodium (NIF)

Updated 7 hours ago

Implements OMEMO in C

Updated 1 hour ago

LetsEncrypt companion container for nginx-proxy

Updated 1 year ago

Updated 6 months ago

seL4 specification and proofs

Updated 8 hours ago

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

Updated 5 months ago