Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
-
Updated
Aug 19, 2026 - OCaml
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
Software distribution system for projects funded via Next Generation Internet (NGI)
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.
Discovery and intelligence toolkit for solo operators and small teams. Open-source generalisation of Khashif. AGPLv3.
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.
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.
The missing trust layer for the open business communications stack. Antifraud toolkit for EU SMEs · EUPL-1.2 · NLnet NGI Zero Commons proposal.
Diaspor — vendor-neutral distributed storage abstraction (Rust + Tauri + Apache OpenDAL) and on-device AI primitives (Whisper, Ollama, GPU FFmpeg). AGPL-3.0.
Open-source Model Context Protocol (MCP) server for citizen-controlled health data in the EU. Self-hosted, FHIR-native, privacy-by-architecture. NLnet NGI Zero Commons Fund #13 (2026).
A SHACL UI toolkit to render forms, display and facets as well as create types, dummy data and convert RDF data to JS
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."