nlnet

Here are 6 public repositories matching this topic...

Seamless bug-finding for C, C++, Rust, Wasm and Zig

Summer of Nix is a coordinated effort to support selected free and open source software projects, by making them available on NixOS

nix nixos nixpkgs nlnet

Nix packages and services for projects supported through the NGI program

nix nixos ngi nlnet build-with-buildbot

Python Module for UNBOUND to filter DNS requests/responses

python dns blacklist server filter blocking ads trackers filtering unbound dnsserver nlnet

LoPALiR

antenna nlnet librero altermundi

Transport sequent proofs across rule changes (e.g. remove Cut). Stability certificates for Lean/Coq/Agda.

coq agda lean proofs formal-verification zero-knowledge nlnet tesl

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."