The reference implementation of Nudge, accompanying the paper "Nudge: A Private Recommendations Engine" (USENIX Security 2026).

A generic and general purpose Set implementation for the Zig language

Documentation resources

Differential Address Trace Analysis

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

A specification for signing methods and formats used by Secure Systems Lab projects.

Moved to Codeberg

⛓️ Crypto functionality for Gleam applications

A better alternative to sudo(-rs)/su • ⚡ Blazing fast • 🛡️ Memory-safe • 🔐 Security-oriented

Blowing the whistle through a news app

A friendly DNS client for Gleam programs targeting Erlang

Add a comments thread to any page using bluesky.

Direct File

Device Bound Session Credentials: A Protocol for Protecting From Cookie Theft

Next generation Cosmic desktop environment

A high performance and flexible authorization/permission engine built for developers and inspired by Google Zanzibar

An experimental stackless Lua VM implemented in pure Rust

Binary installation for rust projects

A Git-compatible VCS that is both simple and powerful

YubiKey plugin for age

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

Prometheus-based Kubernetes Resource Recommendations

Support for rzls in neovim

Roslyn LSP plugin for neovim

SSH Certificate Authority with device attestation

⭐️ A friendly language for building type-safe, scalable systems!

An implementation of the Enrollment over Secure Transport (EST) certificate enrollment protocol

Go Version Manager

Artifact Ratification Framework (CNCF Sandbox)