Stars
Unofficial Linux port of the SkinDeep source code
Determine if you need to reboot your NixOS machine
Uv2nix - Ingest uv workspaces using Nix [maintainer=@adisbladis]
Repository for the OpenTTD NewGRF mod, OpenHRT Estrogen.
You can have a silly GitHub repo, as a treat.
X can be trusted with Y (fedi bot)
Tree-sitter grammar for the nemo rule engine
A template to use typescript and dnscontrol to maintain your DNS data.
A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
Check Cache Availablility of NixOS Configurations
A simple launcher for truckersMP to be used with wine
[MIRROR] 🦈🏳️⚧️🏳️🌈 Gay sharks at your local terminal - lolcat-like CLI tool
[MIRROR] ❄️ Infrastructure configuration for iFSR-operated machines
GritQL is a query language for searching, linting, and modifying code.
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Generate Nix fetcher calls from repository URLs [maintainer=@figsoda]
The official (but not yet stable) formatter for Nix code