0KNOW
Group Theoretic Zero-knowledge Proofs (0KNOW)
More
Aerogramme
Standards-compliant open-source IMAP server with server-side encryption
More
Ari
Purely functional programming language designed to "type" binary files
More
Authenticated DNSSEC bootstrapping
Secure in-band announcements of DNSSEC parameters
More
Heads-OpenPGP
OpenPGP Authenticated Heads and long-time awaited security improvements
More
CNSPRCY
E2EE connections between trusted devices
More
Cable
A new wire protocol for cabal (and beyond)
More
Libre-SOC Cavatools: Power ISA Simulator
Power ISA Simulator
More
Choreographic Programming: From Theory To Practice
Generating a standard library of core distributed algorithms with formal proofs
More
Coko Docs
A modern, open source replacement for Google Docs and Drive
More
Conversations 3.0
Secure and standards-compliant XMPP client for Android
More
CryptPad Auth
Implement external identity mechanisms to E2EE collaborative editor
More
Securing Internet protocols with DIDs
Bridge Decentralized Identifiers with standardised authorisation mechanisms
More
DATALISP
Universal data interchange format using canonical S-expressions
More
dream2nix
Automate reproducible packaging for various language ecosystems
More
Python supply-chain with dream2nix
Towards a secure, extensible & reproducible Python supply-chain with dream2nix
More
Encoding for Robust Immutable Storage (ERIS)
Encrypted and content-addressable data blocks
More
Earthstar (Encryption, Safety, and Local Sync)
Improve security, encryption and sync capabilities in Earthstar CRDT
More
Friendly Forge Format (F3)
Proposed Standard for secure communication between software forges
More
Federated Task-Tracking with Live Data
Track tasks and issues in a federated way
More
RISC-V bootstrapping effort via GNU Mes
Allow bootstrapping Guix on RISC-V via GNU Mes
More
GNU Mes Tower
GNU Mes with alternative scheme implementations and WASM
More
GNU Taler KYC
Know-Your-Customer support for GNU Taler
More
GNUnet Messenger API
API for decentralized instant messaging using CADET
More
Gash
Port Gash to GNU Mes for auditable bootstrap
More
Gosling
Generic Onions Services Library Project
More
Guix Peer-to-Peer substitutes
More
Porting Guix to Riscv64
Port Guix software collection to Riscv64 architecture
More
Hyper Hyper Space
Cryptographically secure append-only distributed data layer
More
IPDL
Equational Proofs for Distributed Cryptographic Protocols
More
IPDL II
A new process logic aimed at formal proofs for cryptographic algorithm
More
Interpeer SDKs
Secure and efficient peer-to-peer networking stack
More
K-Gen
From datasets in DCAT catalogs to knowledge graphs
More
KDE Connect
KDE Connect discovery and transport protocol improvements
More
Kaidan
Encrypted A/V calls, group chat messaging
More
Keyoxide Mobile
Mobile client for identity magement tool Keyoxide
More
Keyoxide v2
Add cryptographic signature based to Keyoxide
More
Let's Connect! Client-Server to P2P
Add P2P features to Let's Connect!
More
LiberaForms
End tot End Encrypted Forms
More
Audio/Video Calls in Libervia
Encrypted Audio/Video Calls in multi-frontend XMPP client
More
Librecast
E2E encrypted multicast
More
The Libre-SOC Gigabit Router
Native Open Hardware chip implementation of crypto primitives
More
LumoSQL at-rest data security
Modern embedded database with encryption and signed data
More
Maemo Leste Telepathy
Modernise open source real-time communications stack
More
Manyverse Private Groups
Implement SSB Private Groups in Manyverse
More
Mellium
Add OMEMO support to XMPP library
More
MirageVPN
Robust OpenVPN client and server, and QubesOS client
More
Monal IM
Free Jabber/XMPP client for iOS and macOS
More
SecSync
Efficiently combine end-to-end encryption with CRDTs
More
Namecoin: Electrum-NMC
Security hardening and futureproofing Namecoin and Electrum-NMC
More
NeoChat
Native Matrix encrypted instant messaging client
More
Packet classification extensions for Netfilter
High throughput packet classification of tunneled traffic
More
neuropil
DHT based overlay network
More
NextGraph
Interlinked data graphs, with privacy, security, data locality, and interoperability in mind
More
Type Inference for Nix
Adding static typing and type inference to Nix
More
NixOS/Clevis
Unattented disk decryption with Clevis on NixOS
More
Securing NixOS services with systemd
More
UEFI Secure Boot support for NixOS
Add a self-sovereign root of trust as part of supply chain security
More
Adopting the Noise Key Exchange in Tox
Improved security of Tox instant messaging with NoiseIK
More
OpenCryptoHW
CGRA- based reconfigurable open-source cryptographic IP cores
More
OpenCryptoLinux
Make Linux run on OpenCryptoHW
More
OpenCryptoTester
System-on-Chip for hardware/software testing
More
Hardening OpenPGP CA deployments
HSM support for OpenPGP key infrastructure
More
OpenQRNG
Open source, certified Quantum Random Number Generator
More
p2panda
p2p protocol and event-driven data store
More
Post-Quantum Crypto in DNSSEC
Experimental platform for DNSSEC with post-quantum cryptography
More
Probabilistic NAT Traversal
Last resort ad hoc connections for GNUnet
More
Prosody IM
Implement SASL authentication mechanism for XMPP
More
ProveThis
Prove statements about authenticated API resources
More
R5N-DHT
Formalisation within IETF of R5N Distributed Hash Table design
More
Rosenpass
Post Quantum Security Add-On for WireGuard
More
Subliminal Messaging
Embedded secure channels within traditional and internet telephony
More
A Secret Key Store for Sequoia PGP
Standards-compliant private key store for OpenPGP
More
Sequoia PGP
Improve interface of Sequoia PGP commandline
More
Sequoia GPG Chameleon
Implement well-known API's for using OpenPGP
More
Signature PDF
Self-hosted tool to add signature to PDFs
More
SignRoom
Zenroom based signature and credential platform
More
smoltcp RPL
Implement Routing Protocol for Low-Power and Lossy networks
More
Peer-to-Peer Access to Our Software Heritage
Access Software Heritage data via IPFS DHT
More
Solid Wallet
Authorization reasoning, rule-based controls and fluid integration for Solid
More
Dual-level Specification Inference
Make formal verification more practical with dual-level Specification Inference
More
Sustainable web apps with m-ld
Empower users and developers with distributed interlinked data using local-first principles
More
Great Black Swamp
Decentralized cloud storage with provider-independent security
More
TerosHDL
Assisting hardware developers to deliver safer designs
More
FIDO 2.2
Open hardware implementation of FIDO CTAP 2.2
More
Trust semantic learning and monitoring
Measure on-going trust between interacting agents
More
Trustix
Make build logs available as publicly verifiable, tamper-proof Merkle trees
More
Tvix
Alternative Rust-based software build transparency
More
TwPM
Open hardware implementation of Trusted
Platform Module
More
TypeCell
CRDT-based collaborative block-based editor
More
UEFI isolation in VM from non UEFI firmware
Safer booting into UEFI-compliant operating system
More
LIP6 VLSI Tools
Logical validation of ASIC layouts
More
Vula
Encrypted ad hoc local-area networking
More
Winden/Magic Wormhole dilation
Improving Magic-Wormhole by implementing dilation and multiple file support for the web
More
Wispwot
Implement generalized scalable protection against disruptive behavior in content discovery
More
Yrs Undo
Rust-based CRDT framework for real-time multi-user applications
More
Reinstatement of crypto.signText()
Cryptographic signatures brought back to the browser
More
Distributed Mechanism Learning
Privacy preserving ways of distributed data usage
More
imap-codec library
Release version 1.0 of the imap-codec library
More
libresilient
Create robust web presence with service workers and DHT
More
Securing Decentralised Live Information with m-ld
Collaborative editing of LInked Data based on CRDT
More
p4-nix
Combine Programming Protocol-independent Packet Processors language with declarative Nix packaging
More
Back