Auto Nix GC Roots Retention

Uv2nix - Ingest uv workspaces using Nix [maintainer=@adisbladis]

Logic programming in Rust

Bist du schon drin?

Repository for the OpenTTD NewGRF mod, OpenHRT Estrogen.

navidrome RIIR

Slog 1.0

Datalog with equality for rust

A NixOS Module for setting up easyroam

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

Synchronizes everything

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

Interactive tui for inspecting nix configs

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

A platform for documenting, testing and sharing about digital accessibility for developers and users alike. Let's get together!

collection of train plushies