Send in your ideas. Deadline June 1, 2024

Current projects

On this page you find an overview of recent projects which have either been recently completed or are — at this moment — working with NLnet funding. For a complete overview please check the overview of all projects, or use the thematic index to look up projects based on thematic funds and specific themes. Click on the name of the project to find out more about it.

project description
0KNOW Group Theoretic Zero-knowledge Proofs (0KNOW)
AALT (Accelerated Analog Layout Tool) More efficient analog layout generation for chips)
AI Horde Collaborative infrastructure for running generative AI models
ARMify Auto-Identification of MCU Models to Simplify ARM Bare-Metal Reverse Engineering
AVantGaRDe Reliable Foundations of Local-first Graph Databases
ActivityPods Framework for fully-decentralized social apps, combining ActivityPub and Solid Pods
Aerogramme Standards-compliant open-source IMAP server with server-side encryption
Agorakit Groupware which is a friendly online home to communities
AlekSIS All-libre extensible kit for school information systems
Alive2 Translation validation for LLVM
Apicula IO primitives Add additional IO primitives to libre Gowin FPGA tools
Automating mobile app interception with Frida Mobile app network introspection for security research
Perspectives: Making Models Generate software from open models for human interaction patterns
Arcan-A12 Explorative p2p protocol for fast and secure remote desktops
Ari Purely functional programming language designed to "type" binary files
Armbian Versatile OS for ARM-based single board computers
Atomic Tables Self-hostable tabular structured data solution
Authenticated DNSSEC bootstrapping Secure in-band announcements of DNSSEC parameters
Heads-OpenPGP OpenPGP Authenticated Heads and long-time awaited security improvements
Automated clearing of source code files More efficient retrieval of security and license compliance contextual information
Automerge Add Merkle Search Tree support to Automerge
BB3-CM4 CM4 compatible MCU board
Back to source: trust but verify all the packages Analysis pipeline for mapping and cross-referencing binaries with source code
Balthazar Casing Open hardware laptop
Bana Personal network oriented ActivityPub powered social networking
Blink for Windows Modern cross-platform SIP client
BlockNote An modern, open source Block-based editor
Bonfire federated groups Create, join and manage federated groups across instances
Bonfire Framework Elixir-based ActivityPub implementation and library with groups and RBAC
BrailleRAP Low-cost open hardware for creating Braille content
CAKE-MAINT Improve network queue management algorithms on Linux
CNSPRCY E2EE connections between trusted devices
CRAVEX Cyber Resilience Application for Vulnerability Exploitability Exchange
Converged Security Suite +AMD Add AMD support to Converged Security Suite
Cable A new wire protocol for cabal (and beyond)
Canaille Zero-knowledge opinionated OpenID Connect (OIDC) server.
Canarytail Warrant canary standardization and automation
Castopod Plugins Add plugins to the Castopod podcast server
Libre-SOC Cavatools: Power ISA Simulator Power ISA Simulator
Certbot ECDSA support
Charon Privacy-enabling account management and SSO solution
LibrEDA An integrated development environment for chip design
Choreographic Programming: From Theory To Practice Generating a standard library of core distributed algorithms with formal proofs
Anchorboot Pre-built UEFI replacement firmware for ARM-based ChromeOS devices using coreboot/U-Boot
Cloud hosting service portability Service portability for cloud hosting platforms
Coko Docs A modern, open source replacement for Google Docs and Drive
CokoDocs Add ODF, legacy office and PDF capabilities to CokoDocs
Coloquinte High performance placement of cells inside digital electronic circuitry
Commune User-friendly persistent chat/voice rooms
Conversations 3.0 Secure and standards-compliant XMPP client for Android
Libre-SOC, Coriolis2 ASIC Layout Collaboration Open tooling for ASIC Layout
ArtistHub Allow creative artists to gain visibility and build reputation on the web
CryptPad Auth Implement external identity mechanisms to E2EE collaborative editor
CryptPad Blueprints Server-side encrypted collaborative editor
DANCE4All Implement DANCE specification in GnuTLS and MbedTLS
DAVx⁵ Share Contacts, Calendars, Tasks, Notes & Journals
Securing Internet protocols with DIDs Bridge Decentralized Identifiers with standardised authorisation mechanisms
DMT Implementation of MOSFET Parameter Extraction Flow for Sky130 into DMT
DNSvizor Privacy-enhanced DNS resolver and DHCP server
DUT Control Unified Control Interface for Firmware Security Tests
DATALISP Universal data interchange format using canonical S-expressions
Delta Tauri DeltaChat implemented in Tauri
DeltaTouch DeltaChat on UBports mobile phones
DeviceCode Structured technical information about consumer devices
Distributed GNU Shepherd A Secure Distributed System Layer for Networked Cluster Computing
Dokieli Decentralised article publishing, annotations & social interactions
Dolphin authorisation Avoid privilege escalation in the Dolphin file manager
dream2nix Automate reproducible packaging for various language ecosystems
Python supply-chain with dream2nix  Towards a secure, extensible & reproducible Python supply-chain with dream2nix
EDeA Repeatable, automated measurement data capture
EEZ flow for EEZ Studio IV Open Hardware Test & Measurement equipment
ELF tools in Rust Porting patchelf and install_name_tool to a flexible Rust crate
ELF Linking Analytic tools for UNIX' Executable and Linkable Format
Encoding for Robust Immutable Storage (ERIS) Encrypted and content-addressable data blocks
Open source ESP32 802.11 MAC Open source wifi drivers for ESP32
Earthstar (Encryption, Safety, and Local Sync) Improve security, encryption and sync capabilities in Earthstar CRDT
Elm Matrix SDK Better moderation for Matrix rooms and servers
Email <=> XMPP gateway Bridge instant messaging with email
Etebase - protocol and encryption enhancements Redesign EteSync protocol and encryption scheme
Ethersync Real-time co-editing of local text files
EventFahrplan Conference schedule app with strong offline capabilities
Exter Proxy-based external browser extensions
Friendly Forge Format (F3) Proposed Standard for secure communication between software forges
FABulous Demo SoC SoC with open source FPGA based on FABulous
FOSS Code Supply Chain Assurance II Add approximate matching capabilities to software vulnerability discovery
FPGA Fault Injection Testing Better testing towards preventing fault injection in FPGA's
Faircamp 1.0 Self-hostable, maintenance-free websites for audio producers
FastWave Modern waveform VCD parser
Feather UI Declarative cross-platform UI toolkit
Federated software forges with Forgejo Add ActivityPub based federation to Forgejo
Software metadata Decentralized, federated metadata about software applications
Federated Task-Tracking with Live Data Track tasks and issues in a federated way
FediMod Tooling for Fediverse moderation
Fediverse Test Suite Interoperability effort for W3C ActivityPub
Fidus Writer Real-time collaborative web-based online editor for academia
Flarum Add federation and much more to the extensible forum software Flarum.
Fleetbase on Solid: A production-ready supply chain solution Federated open source supply chain solution using Solid
ForgeFed Federating software forges with ActivityPub
ForgeFlux Software Forge independent federation with ActivityPub and F3
Forgejo An open source software forge with a focus on federation
Native IFC for FreeCAD ISO-compliant Building Information Modeling in FreeCAD
Fix the Pitch Black Attack in Freenet routing A decentralized distributed platform for private communication
Data packages Specification + improved tooling for external data set descriptions
Funkwhale ActivityPub-driven audio streaming and sharing
Funkwhale ActivityPub-driven audio streaming and sharing
GNS Migration and Zone Management Registrar tools for adoption of GNU Name System
RISC-V bootstrapping effort via GNU Mes Allow bootstrapping Guix on RISC-V via GNU Mes
GNU Mes Tower GNU Mes with alternative scheme implementations and WASM
GNU Taler KYC Know-Your-Customer support for GNU Taler
GNUnet CONG Modernise the network stack of GNUnet
GNUnet Messenger API API for decentralized instant messaging using CADET
GPGPU Playground A virtual GPU to learn GPU programming
Gash Port Gash to GNU Mes for auditable bootstrap
Genealogos Nix to SBOM generator targeting the CycloneDX format
Verilog-AMS in Gnucap (cont'd) Analog/Mixed modelling and simulation in Gnucap
GoToSocial Lightweight ActivityPub social network server
GoToSocial Improvements to ActivityPub server written in Go
Gorgon CI Continuous integration testing for PRs against software dependencies
Gosling Generic Onions Services Library Project
Guix Peer-to-Peer substitutes
Porting Guix to Riscv64 Port Guix software collection to Riscv64 architecture
Guix-Daemon Transition to a Guile implementation of the guix-daemon
Haphaestus Lightweight JavaScript-free browser engine written in Haskell
Hardware accelerated 2D graphics Design hardware accelerated 2D graphics using C to Verilog
Open Hardware Manuals Automatically generate user-friendly documentation for open hardware elements
OCap layer for Haskell actor library Implement OCapN and Syndicate in Haskell's troupe
SCE, DelTiC and Antler High-Fidelity Congestion Control
Holo Routing A novel routing stack in Rust, including IS-IS routing
Hyper Hyper Space Cryptographically secure append-only distributed data layer
IC workspace Open Source IC Design Management Tool
IPDL Equational Proofs for Distributed Cryptographic Protocols
IPDL II A new process logic aimed at formal proofs for cryptographic algorithm
Telecommunication in HF using the Internet Protocol (IPoHF) High-throughput software-defined wireless telecommunications
IPv6-monostack - upstream Linux SIIT/NAT64 Commoditizing NAT64 and IP/ICMP translation to accelerate IPv6 deployment
Icestudio Visual developer tool for development of FPGAs
Icosa Gallery Open, decentralised platform for 3D assets
Inko Programming language with deterministic automatic memory management
Inochi2D Open source 2D animation/puppeteering framework
Interpeer SDKs Secure and efficient peer-to-peer networking stack
Inventaire Self-hosted Self-hosted book inventories that share the wikidata-powered bibliographic database
IotECC Lightweight Elliptic Curve Cryptography for small chips
Irdest - OpenWRT Image and Bluetooth LE Add Bluetooth LE connections to Irdest
Irdest spec, db, route scoring Route scoring and other routing improvements for Irdest meshnets
Threat intelligence sharing Privacy-Preserving Sharing of Threat Intelligence in Trusted Adversarial Environments
IronCalc Embeddable spreadsheet engine written in Rust
JSON-Joy Peritext Rich-text CRDT implementations for json-joy CRDT
JShelter Cross-browser extension to make javascript less exploitable
JShelter Manifest V3 Make JShelter compatible with Manifest V3
JellyfishOPP Open Hardware device for power profiling
K-Gen From datasets in DCAT catalogs to knowledge graphs
KDE Connect KDE Connect discovery and transport protocol improvements
KDE Plasma Wayland Accessibility and advanced graphics input support for KDE Plasma Wayland
Kaidan Auth + portability Account portability and Client/Server Authentication for the Kaidan XMPP client
Kaidan Encrypted A/V calls, group chat messaging
Improving and extending Kaitai Struct Rust parsing for binary analysis tool Kaitai Struct
Kami Choreography programming language integrated with the Rust ecosystem
Karrot Location-aware community self-organisation
Katzen Metadata Minimizing Messsenger Privacy preserving instant messaging using a modern mixnet
Kazarma Bridge ActivityPub and Matrix realms
Kazarma Release Bridge between ActivityPub and Matrix protocol
Kbin ActivityPub based link sharing and microblogging
/kbin Mobile app and feature additions to /kbin
Keyoxide Mobile Mobile client for identity magement tool Keyoxide
Keyoxide v2 Add cryptographic signature based to Keyoxide
KiCad Professional open source electronics design application
KiCad Add RPC API, multichannel designs and schematic variant system to FOSS EDA suite
KiKit Tooling for automation of production of PCB designed in KiCAD
Klusterlab Wireguard Implement Wireguard in Verilog on FPGA
Improve Email Encryption in KMail Adopt improvements in Email Encryption in KMail
Improve Krill (RPKI) BGP integration Real-time routing for Krill RPKI daemon
LibreOffice/Collabora Online typography Add interoperability and state-of-the-art web typography to LibreOffice/Collabora Online line break
Lemmy private communities Add private communities to Lemmy federated link aggregator
Lemmy Scale ActivityPub-powered social link aggregation and discussion
Lemmy Federation Lemmy Federation and ActivityPub compliance
Let's Connect! Client-Server to P2P Add P2P features to Let's Connect!
Letswifi/Geteduroam Make federated wifi access provisioning safer and more convenient
LiberaForms End tot End Encrypted Forms
Audio/Video Calls in Libervia Encrypted Audio/Video Calls in multi-frontend XMPP client
Libre-SOC A fully open hardware System-on-a-Chip
Libre-SOC HPC Work on High Performance Compute capabilities for Libre-SOC
Libre-SOC OpenPOWER ISA WG Steward ISA extension proposals through OpenPOWER External RFC Process
IndieHosters System for Cross-domain Identity Management (SCIM)
Libre Car Control Automotive development platform, protocol analyzer and hacking multi-tool
Librecast E2E encrypted multicast
LibreCellular FOSS technology stack for 4G networks
LibreOffice CRDT Real-time collaboration between several, distributed LibreOffice instances
LibreQoS Improve congestion control for wifi networks
The Libre-SOC Gigabit Router Native Open Hardware chip implementation of crypto primitives
Port of AMDVLK/RADV 3D Driver to the Libre-SOC Adapt Vulkan Drivers to the Libre-SoC
Libre-SOC Formal Correctness Proofs Mathematical unit tests for open hardware System-on-Chip
Libre-SOC Formal Standards Development Formal Standards for OpenPower extensions from Libre-SoC
Libre-SOC Video Acceleration Optimised video acceleration instructions for Libre RISC-V SoC
Liminix Nix-based OS for domestic WiFi routers, access points etc
Usability of Linux firewall userspace tools Userspace tooling for Linux kernel Netfilter
LiteX Developer framework for FPGA and ASIC designs
LumoSQL at-rest data security Modern embedded database with encryption and signed data
Luna PnR A versatile and fast new open-source place and route tool
LunaPnR Phase 2 A versatile and fast new open-source place and route tool
Mainstreaming Anonymity for Developers (MAD) Add Onion Services to interactive internet applications
MNT Reform Next New iteration of the MNT open hardware laptop
Improving the deployability of Multipath TCP Improve MPTCP support in the Linux kernel
The MacBook Liberation Project Implement Coreboot support to various Apple devices
Machdyne Modular open compute hardware
Maemo Leste An independent mobile operating system focused on trustworthiness
Maemo Leste Telepathy Modernise open source real-time communications stack
Mailpile 2 (moggie) Building a secure, modern e-mail client for self-hosting
Makatea An x86, 64-bit Virtual Machine Monitor for the seL4, verified microkernel
Manas Rust modules for Solid clients and servers
Manyverse Private Groups Implement SSB Private Groups in Manyverse
MapComplete Thematics OpenStreetMap-viewer and editor.
Marginalia Search A fresh take on search
Catalogs in MariaDB Enable true multi-tenacy in the MariaDB database
Mastodon - groups, filtering, moderation Group support with ActivityPub
ActivityPub Quote Posts Quote Posts in ActivityPub and Mastodon
Improving Matrix E2E encryption UX Better usability of Matrix.org E2E encryption
Mellium Add OMEMO support to XMPP library
Practical Decentralised Search and Discovery Search and discovery inside mesh/adhoc networks
Modular Meta-Press.es Reusable decentralised meta-search engine
MinetestEdu Education platform centered around 3D/cube world Minetest
MirageVPN Robust OpenVPN client and server, and QubesOS client
Misskey Misskey federation and ActivityPub compliance
MobileAtlas A distributed open hardware test infrastructure to analyse mobile networks
MobileAtlas Taking roaming measurements to the next levelMobileAtlas
postmarketOS/phosh-mobile-settings integration Consolidate functionality of FOSS mobile settings applications
Mobilizon UX Share events on the fediverse
Mobroute A minimalist FOSS public-transportation router/tool suite
Caster Open-hardware high-refresh-rate electrophoretic display controller
Monal IM Free Jabber/XMPP client for iOS and macOS
Monal IM UI Modern UI for XMPP on iOS and macOS
Mox Modern full-featured open source secure mail server
SecSync Efficiently combine end-to-end encryption with CRDTs
Naja EDA tool focused on post logic synthesis
Naja Add Dissolved and Batch Netlists to Naja EDA
Namecoin: Electrum-NMC Security hardening and futureproofing Namecoin and Electrum-NMC
Namecoin: ZeroNet and Packaging Make ZeroNet work with Namecoin
NeoChat Native Matrix encrypted instant messaging client
Packet classification extensions for Netfilter High throughput packet classification of tunneled traffic
neuropil DHT based overlay network
NextGraph Interlinked data graphs, with privacy, security, data locality, and interoperability in mind
Nitrokey 3 PIV/FIPS 201-3 and extended hardware support for Trussed/Nitrokey
Nitter Alternative privacy-preserving FOSS UI for Twitter
Type Inference for Nix Adding static typing and type inference to Nix
Debug Adapter with Nix Implement the Debug Adaptor Protocol for Nix
NixOS/Clevis Unattented disk decryption with Clevis on NixOS
Securing NixOS services with systemd
UEFI Secure Boot support for NixOS Add a self-sovereign root of trust as part of supply chain security
NoScript Contextual Policies & LAN protection Application Boundaries Enforcer (ABE) for new generation of browsers
NodeBB ActivityPub support and accessibility improvements for forum software
Adopting the Noise Key Exchange in Tox Improved security of Tox instant messaging with NoiseIK
Nyxt Webextensions Independent implementation of WebExtensions
O-ESD: Open-hardware for ElectroStatic Discharge testing Open-hardware for ElectroStatic Discharge testing
OCaml-QUIC Implement QUIC/QUIC-TLS/QPACK and HTTP/3 in OCAML
OVT 13 Open Hardware laptop
owi Symbolic evaluator and fuzzing of WASM software
Oils for Unix Bringing shell environments into the 21st century
Oku A browser and encrypted data vault based on IPFS
Omnom Add social layer to personal bookmarking
Open Cloud Mesh Improved specs and test suite for Open Cloud Mesh protocol
OpenCryptoHW CGRA- based reconfigurable open-source cryptographic IP cores
OpenCryptoLinux Make Linux run on OpenCryptoHW
OpenCryptoTester System-on-Chip for hardware/software testing
DRTM implementation for AMD processors Unified framework for dynamic RTM
Open Energy Profiler Toolset Modular open hardware Energy Profiling
Openki.net Make local events and meetups discoverable
Hardening OpenPGP CA deployments HSM support for OpenPGP key infrastructure
OpenQRNG Open source, certified Quantum Random Number Generator
Open Web Calendar Stack Aggregate public and private web calendars
Ordie Designing a SoC for Betrusted
Organic Maps Privacy-focused Android & iOS offline maps application
GPRS/EGPRS support in Osmocom CNI for Ericsson RBS
Open source ePDG for VoWiFi Enhanced Packet Data Gateway for mobile infrastructure
Overte Virtual reality based social platform
p2panda p2p protocol and event-driven data store
p2panda: group encryption and capabilities Add group encryption and capabilities to peer-to-peer SDK
PGP4civiCRM Add email encryption to CRM
Securing PLCs via embedded protocol adapters Open hardware protocol adapters for industrial automation
Post-Quantum Crypto in DNSSEC Experimental platform for DNSSEC with post-quantum cryptography
PTP gateware with openXC7 PTP on FPGA timing cards and SDR cards with openXC7
Passthrough Authentication Authentication proxy using Kerberos and SPNEGO
PeerDB Search Search for semantic and full-text data
Popularizing PeerTube Decentralised video platform powered by ActivityPub
Peertube plugin livechat Integrated chat for Peertube live streams
Manyfold Manage private collections of 3D models
Pijul ecosystem A modern patch-based version control system
Pimalaya Open source personal information management
Pion Network congestion measurement for adaptive real-time applications
PixelDroid/Media editor Native PixelFed/ActivityPub image sharing app
Pixelfed Open source, federated photo sharing platform using ActivityPub
Pleroma Scalable ActivityPub server written in Elixir
Poliscoops Make political news and online debate accessible
Pre-Scheme Compile Scheme directly to portable C
pretalx Open source tooling for events and conferences
Probabilistic NAT Traversal Last resort ad hoc connections for GNUnet
Prosody IM Implement SASL authentication mechanism for XMPP
Protomaps Self-hostable maps based on OpenStreetMap data
ProveThis Prove statements about authenticated API resources
Py2HWSW A tool to manage embedded HW/SW project
Pythonic Slint Add a full-blown Python API to Slint
Proper Webcam support in Qemu Better virtualisation of camera interfaces
R5N-DHT Formalisation within IETF of R5N Distributed Hash Table design
RA-Sentinel FPGA-based Radio Receiver for securing Wifi against hacking attacks
RADIUSdesk Multi WAN Add Multiwan to RADIUSdesk
RAIJIN Open Hardware brain meeasurements with near-infrared spectroscopy
RETETRA3 Security research into TETRA standard
Fast RSA + PQ Blind Signatures Fast multiprecision integers for blind RSA and Post-Quantum signatures
Python bindings to the rattler library
ReOxide Improving Rust Decompilation
Redox Flow Battery Development Kit for Open-Source Hardware Redox Flow Battery
Renderling Real-time rendering library on top of WebGPU
Replicant on Pinephone 1.2 Add basic support for the Pinephone 1.2 to Replicant
Finish porting Replicant to newer Android version Alternative, free software version of Android
Reproducible F-Droid Building a trusted app ecosystem with F-Droid
Reproducible-openSUSE Reproducible distribution of openSUSE rolling release
Ricochet Refresh Anonymous, meta-data free secure messaging
pcb-rnd, sch-rnd Open source EDA suite
Rosenpass Post Quantum Security Add-On for WireGuard
Rotonda Secure Extensions Implement BGPSec in Rust and integrate into Rotonda
SCION-enabled IPFS and libp2p Enhancing IPFS Performance and Resilience through SCION's Path-Aware Networking
Geographic tagging of Routing and Forwarding Geographic tagging and discovery of Internet Routing and Forwarding
WWW SCION Path-aware web server/proxy deployment and browsing
SIP RELOAD REsource LOcation And Discovery, a peer-to-peer (P2P) signaling protocol
Cell broadcast support for the Linux Mobile Stack Implement SMS-CB for emergency messages on Linux
Software Heritage listers + tooling Performance improvements and new listers/tooling for Software Heritage
Subliminal Messaging Embedded secure channels within traditional and internet telephony
SeedVault Integrity Add integrity checking and WebDAV support to SeedVault Android backups
SelfPrivacy Reproducible self-hosting stack based on NixOS
SensifAI AI driven image tagging
#Seppo! Portable ActivityPub implementation
A Secret Key Store for Sequoia PGP Standards-compliant private key store for OpenPGP
Sequoia PGP Improve interface of Sequoia PGP commandline
Sequoia GPG Chameleon Implement well-known API's for using OpenPGP
Servo CSS CSS feature parity for Servo browser engine
SiCl4 Tool for interactive reverse engineering of digital logic.
Signature PDF Self-hosted tool to add signature to PDFs
SignRoom Zenroom based signature and credential platform
Silicon verification Non-destructive, in-situ inspection of physical chips
Slint port for Android Port the Rust-based Slint UI toolkit to Android
smoltcp RPL Implement Routing Protocol for Low-Power and Lossy networks
Peer-to-Peer Access to Our Software Heritage Access Software Heritage data via IPFS DHT
Solid NC 2024 Add more Solid capabilities to Nextcloud
Solid Compound A software library/framework to simplify designing for W3C Solid
Solid Data Modules Improve data accessibility and prevent data corruption in Solid Pods
Solid Application Interoperability Interoperable Data sharing flows and discovery for Solid
Solid Usable App Tools Project Improve developer experience for W3C Solid
Solid Wallet Authorization reasoning, rule-based controls and fluid integration for Solid
Sonar: a modular peer-to-peer search engine Modular peer-to-peer search engine
Space Tube Group-to-group instant messaging
Dual-level Specification Inference Make formal verification more practical with dual-level Specification Inference
Spectrum Applications Add running graphical applications to the compartmentalized desktop OS Spectrum
Secure User Interfaces (Spritely) Usability of decentralised social media
Squishy SCSI multi tool and gateware library
Standards Grammar Catalog/Toolchain Open Standards Grammar Catalog/Toolchain
Stencila v2 for ERA and EPP Add editable, runnable code to scientific publications
Stract Explorative search engine
StreetComplete/AllThePlaces Ingest data from AllThePlaces into StreetComplete
Structured Email for Roundcube Add schema.org metadata awareness to open source email
Sustainable web apps with m-ld Empower users and developers with distributed interlinked data using local-first principles
TISG trustable image sensor gateware FPGA based camera providing encrypted video streams
TOS;DR OTA backend Integrate Terms of Service;Didn't Read with Open Terms Archive
TSCH-rs Time Slotted Channel Hopping implement in Rust
Great Black Swamp Decentralized cloud storage with provider-independent security
GNU Taler wallet app for iOS Mobile GNU Taler payments for portable Apple devices
Tasteweb Develop new web of trust mechanisms
Tau Remote sharing of terminal sessions
TerosHDL Assisting hardware developers to deliver safer designs
TerosHDL: OSS, GHDL, NVC IDE with support for Open SYthesis Suite and GHDL/NVC simulators
Threshold OPRFs Bringing the power of Threshold OPRFs to the people
Topola Topological (rubberband) router for printed circuit boards
Tracking weasel Detect privacy violations in mobile apps
TrenchBoot for AMD platform in Linux kernel Upstream TrenchBoot AMD support to the Linux kernel
Trenchboot as Anti Evil Maid Integrate Trenchboot into Qubes OS as defense mechanism against physical compromise
FIDO 2.2 Open hardware implementation of FIDO CTAP 2.2
Trust semantic learning and monitoring Measure on-going trust between interacting agents
Trustix Make build logs available as publicly verifiable, tamper-proof Merkle trees
Tvix Alternative Rust-based software build transparency
Tvix-{Store/Build} Improve store and builder component of Tvix
TwPM Open hardware implementation of Trusted Platform Module
TypeCell CRDT-based collaborative block-based editor
UEFI isolation in VM from non UEFI firmware Safer booting into UEFI-compliant operating system
UEFI Capsule Update for coreboot with EDK II Implement more robust firmware updates in coreboot
ULX4M A modular open hardware FPGA platform
UberDDR3 Open Hardware DDR3 memory controller
Reverse Engineering Toolkit Reducing e-waste through Reverse Engineering
LIP6 VLSI Tools Logical validation of ASIC layouts
Vouivre A dependent type system for machine learning in Lisp
Vula Encrypted ad hoc local-area networking
Enhancing vula with IPv6 and REUNION rendezvous IPv6, hybrid post-quantum improvements & REUNION support for Vula
Free Software Vulnerability Database A resource to aggregate software updates
WPE Android Embedded-friendly Webview based on WebKit
Improving WebKit on Windows Improve Windows support for the WebKit browser engine
webxdc PUSH Towards an usable, interoperable and trustworthy web app ecosystem
WebXDC XMPP Standardisation effort for WebXDC integration in XMPP
Webxdc evolve Comparative analysis of HTML5 app containers
Whippet A new local maximum in safe, managed memory
Whisperfish Cross-platform mobile client for Signal and derivatives
Willow Sync General Sync Protocol for Willow written in Rust
Winden/Magic Wormhole dilation Improving Magic-Wormhole by implementing dilation and multiple file support for the web
WireGuard on FPGA FPGA implementation of Wireguard protocol written in SpinalHDL
Wispwot Implement generalized scalable protection against disruptive behavior in content discovery
Wolvic Web browser designed for use in XR devices
Wolvic User Interface Flexible windows, tabs, zooming and web rendering in Wolvic
Event Federation Plugin for WordPress Add ActivityPub to events created with most common WordPress event plugins
MLS for XMPP Add Message Layer Security to XMPP
XMPP Interoperability and Protocol Standard Conformance Testing Development of an XMPP Test Suite
XR Fragments Discover, reference, navigate and query 3D online content
Yrs Undo Rust-based CRDT framework for real-time multi-user applications
Yrs weak links More efficient CRDT by interconnecting and synchronising data structures inside documents
Zero-allocation web servers in roc Web server framework with constant memory usage
Zilch Tools for efficient granular builds and introspection
ARPA2 Working towards a decentralised global internet that offers security and privacy by design.
bcachefs Next generation file system
Cpdf Accessibility Implement PDF/UA in cpdf
cables.gl Creative tool for graphics and 3D content
Reinstatement of crypto.signText() Cryptographic signatures brought back to the browser
Elliptic curve encryption speed-up using SIMD Low-level instructin optimisation for curve25519-dalek & Arkworks
Democratic SendComm Easy to use connected open hardware device
Distributed Mechanism Learning Privacy preserving ways of distributed data usage
django-allauth Versatile authentication for Django
Donations smaller contributions to various activities
dweb-search Index DHT based distributed webs
eduVPN multi-protocol Review of the eduVPN multi-protocol project.
eduVPN Making secure VPN network technology available to everyone
elRepo.io - Resilient, distributed content sharing Resilient, human-centered, distributed content sharing and discovery.
Explain Direct Providing effective and efficient access paradigms for open educational material
f8 Modern 8-bit instruction set
Fashion Freedom Supporting research, development, and education to bring the fashion industry into the 21st century
FileSender FileSender is a secure and private way to share large files with anyone.
Global Directories Distributed contact information discovery mechanism
Hackathons contributions to various hackathons
imap-codec library Release version 1.0 of the imap-codec library
Internet of Coins Create a decentralized, self-sustaining economy by implementing inter-blockchain connectivity
it Radically decentralised version control with CRDTs
iuh-openbsc An open source implementation of 3G
jaq Implementation of jq in Rust with formal semantics
lib25519 for ARM Add 64bit ARM optimisations to lib25519
libnix Native Nix on MS Windows
libresilient Create robust web presence with service workers and DHT
libspng A fast and safe implementation of Portable Network Graphics
libspng APNG Add Animated PNG (APNG) image read- and write support to libspng
Securing Decentralised Live Information with m-ld Collaborative editing of LInked Data based on CRDT
mCaptcha Privacy-friendly Proof of Work (PoW) based CAPTCHA system
mikroPhone Open Hardware feature phone
mitmproxy HTTP/3 Support and OS Proxy Mode for intercepting local proxy
nextpnr_large New place and route algorithms for large FPGAs
Improvements for the next generation firewalling tool in Linux Netfilter kernel improvements, user space tools and testing
Nixcloud Mail Declarative mail server based on NixOS
Nixcloud Webservices Declarative web services based on NixOS
Strengthening NTP and NTS in ntpd-rs Memory-safe implementation of IETF time standards including NTPv5 and NTS
openCologne CM4 form factor SoM for GateMate chips
openXC7 Improve hardware support for open source FPGA tooling
S-SATA for openXC7 Open source SATA phy and interface for FPGA's
p3pch4t Decentralized chat platform built on i2p
p4-nix Combine Programming Protocol-independent Packet Processors language with declarative Nix packaging
PKCS#11 v3 Contribute to standardisation of PKCS#11 for cryptographic tokens
postmarketOS: v23.12 and v24.06 Releases New versions of the mobile operating system postmarketOS
purl2all Discover metadata for software packages
purl2sym FOSS code symbols indexing system
RaptorJIT RaptorJIT is a high-performance Lua virtual machine for network dataplanes.
SDR PHY Create a GSM mobile phone consisting of completely open source software and SDR radio
x86-64 VM Monitor for seL4 verified microkernel Very restricted virtualized environment for higher security
SecuShare A framework for sufficiently safe social interaction
Serval-LR SERVAL Long-range WiFi Add-on
Σ-protocols Formalise and implement zero-knowledge proof Σ-protocol
Magic Wormhole/SPAKE2 Securely send files between two computers with minimum fuss
TOS;DR A user rights initiative to rate and label website terms & privacy policies
Tracking Exposed Increase transparency behind personalization algorithms
Trusted Boot Module An open hardware trusted boot manager
uFork A memory-safe pure-actor virtual machine
uFork/FPGA A memory-safe pure-actor processor soft-core
uMap Collaborative custom mapping with OpenStreetMap data
vdirsyncer Synchronise calendars and contacts
vm-builder Virtual Machine Build, Life Cycle and Integration in monolithic and microkernel platforms
xrsh Interactive text/OS terminal inside WebXR

NLnet Foundation currently supports the following projects with in-kind contributions:
The Commons Conservancy Legal infrastructure for public benefit efforts
NLnet Labs Independent lab for Internet infrastructure development