CryptPad Auth
Implement external identity mechanisms to E2EE collaborative editor
More
CryptPad Quality Test Suite
Continuous testing of critical CryptPad functionality
More
CryptPad WCAG
Accessibility improvements to CryptPad suite
More
CryptPad Auth Improvements
Better user management, 2FA and SSO for CryptPad
More
Friendly Forge Format (F3)
Proposed Standard for secure communication between software forges
More
Gosling
Generic Onions Services Library Project
More
Kaidan Mediasharing
Media sharing and improved contacts for Kaidan XMPP
More
Manyverse Private Groups
Implement SSB Private Groups in Manyverse
More
Mellium
Add OMEMO support to XMPP library
More
SecSync
Efficiently combine end-to-end encryption with CRDTs
More
Ontogen
From datasets in DCAT catalogs to knowledge graphs
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
Rosenpass API
Improved API's and platform coverage for Rosenpass
More
Sequoia PGP
Improve interface of Sequoia PGP commandline
More
Servo Developer Experience Improvements
Improve productivity for Servo developers
More
Multi browsing context support in Servo
Allow Servo browser engine to render beyond atomic pages
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
Trust semantic learning and monitoring
Measure on-going trust between interacting agents
More
Servo improvements for Tauri
Verso offscreen + multiview
More
Next Generation Browser Profile Workflow
A profile system for the Verso browser
More
Vula
Encrypted ad hoc local-area networking
More
Securing Decentralised Live Information with m-ld
Collaborative editing of LInked Data based on CRDT
More