Fast, robust Google Flights scraper (API) for Python. (Probably)

Layer 4 (TCP/UDP) app for Caddy

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

📈 Swetrix is a cookie-less, open source, privacy-first web analytics, website speed monitoring and error tracking service that you can host yourself or use in the cloud. Get started for free!

A verification toolchain for Rust programs

BGP Update based flap detection & statistics

a NTP server as an unikernel

Kani Rust Verifier

A model checker for implementing distributed systems.

An open-source Shazam client for Linux, written in Rust.

Daily feed of bad IPs (with blacklist hit scores)

A fan-made browser-based Witch Hat Atelier spell simulator.

le drac du rhône

Raft distributed consensus algorithm implemented in Rust.

forked from mac-cli/mas

DRM/KMS based remote desktop for Linux that supports Wayland/NVIDIA/headless/login…

a simple Wayland output mirror client

forked from mic92/niks3

PEER.AS — explore global BGP routing, IP prefixes, ASNs, AS_PATH, origins and peering.

A Bonsai_term application for managing multiple processes

A library for building dynamic terminal apps, using bonsai

auto-updating terraform providers for nix [maintainer=@zimbatm]

Cache Nix Store in GitHub Actions to speed up workflows [maintainer=@deemp]

nix (hat) atelier?!

NixOS MicroVMs

CI and hosting for nix-based, flakified github repos

forked from nix-community/infra