Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
-
Updated
May 27, 2026 - OCaml
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
Nix packages and services for projects supported through the NGI program
Transport sequent proofs across rule changes (e.g. remove Cut). Stability certificates for Lean/Coq/Agda.
AI Search Readiness & Web Discoverability Toolkit — Analyze how well websites are prepared for AI-powered search engines
Resilient offline-first IRC-style communication with local AI assistant. Designed for disaster scenarios and off-grid environments.
Open-source accessibility measurement engine powered by canvas-based text analysis. Detects, scores, and reports WCAG barriers — with focus on elderly and low-literacy users. Built on Pretext. Not an overlay.
Measure and monitor network quality with active probes, passive stats, and netlink events through a unified REST API and CLI in Go.
Discovery and intelligence toolkit for solo operators and small teams. Open-source generalisation of Khashif. AGPLv3.
The missing trust layer for the open business communications stack. Antifraud toolkit for EU SMEs · EUPL-1.2 · NLnet NGI Zero Commons proposal.
EAA-2025-ready accessibility compliance platform — 21 npm packages: 31-rule WCAG 2.2 AA scanner pack, TypeScript scanner runtime (engine + browser + Playwright), reusable GitHub Actions workflow, EN 301 549 statement generator, 11-jurisdiction penalty estimator, VPAT 2.5 INT evidence emitter.
Diaspor — vendor-neutral distributed storage abstraction (Rust + Tauri + Apache OpenDAL) and on-device AI primitives (Whisper, Ollama, GPU FFmpeg). AGPL-3.0.
Add a description, image, and links to the nlnet topic page so that developers can more easily learn about it.
To associate your repository with the nlnet topic, visit your repo's landing page and select "manage topics."