seL4 specification and proofs

Updated 3 hours ago

The seL4 microkernel

Updated 7 hours ago

SSB Drive - a decentralized file system over Secure Scuttlebutt

Updated 3 hours ago

CHICKEN Scheme bindings to nuklear

Updated 3 hours ago

Plain SSB web UI

Updated 7 hours ago

Updated 7 hours ago

A launchd(8) port for non-Darwin systems

Updated 3 hours ago

Automated solution for hosting email, web, DNS, XMPP, and ZNC on OpenBSD

Updated 3 hours ago

familiar os

Updated 3 hours ago

scheme toolkit for building native meshnet apps

Updated 2 hours ago

Updated 1 month ago

SRFI 64: A Scheme API for test suites by Per Bothner

Updated 3 hours ago

An alternative Secure Scuttlebutt client interface that is fully compatible with Patchwork

Updated 3 hours ago

Updated 3 months ago

📡 An AX.25 packet radio chat protocol with support for digital signatures and binary compression. Like IRC over radio waves. 〰

Updated 3 hours ago

foundation documents

Updated 3 months ago

Updated 3 months ago

Updated 3 months ago

Updated 3 months ago

communications

Updated 3 months ago