Prometheus exporter for Baytech Modular Metered Power PDUs

Verified Boyer-Moore majority algorithm

Nix-idiomatic Lean 4 project development toolkit for working mathematicians.

Maps where keys are borrowed from values.

Blb is a distributed object storage system designed for use on bare metal in cluster computing environments.

Powerful friendly WebRTC mock peer & proxy

Generalized Wi-Fi Client Isolation Bypasses

Nix template for the chisel-based industrial designing flows.

Specialized deployment tool for NixOS with persistent daemon architecture, integrated infrastructure provisioning (Terraform/Terranix), and TUI management. Forked from Colmena.

This repo is for the AI Alignment Working Group

A TUI application for managing systemd services.

A xdg-desktop-portal for wlroots based compositors implementing zwlr_screencopy and ext-image-copy. Written by @decodetalkers

A TUI to browse and diff NixOS configurations at the config-level

A reverse proxy like nginx, built on pingora, simple and efficient.

Calendar app

Incus-based container management with native KDE/Plasma integration

Syntax highlighting for Cap'n Proto schema files

Predicated LL (recursive descent) parser in pure rust

Fast, modern traceroute with real-time TUI, per-hop stats, ASN/geo lookup, ECMP detection, and MPLS label parsing. A better mtr.

TUI for Jujutsu/jj

Project Apicula 🐝: bitstream documentation for Gowin FPGAs

Multi-protocol passive fingerprinting library: TCP/HTTP (p0f-style) + TLS (JA4-style) analysis in Rust

Fast SOCKS5 TCP and UDP client/server implementation written in Rust async (with tokio)

dbus-based ipmid for host-endpoint IPMI commands

Bound Book Format: A high-performance container format for comics and manga

Couic - A lightweight XDP-powered network filtering solution controllable through a REST API

Naive implementation of Profunctor Optics in Nix

a simple, fast memory allocator

Open reimplementation of Google's Widevine Content Decryption Module for browsers