A markdown terminal slideshow tool

A framework for building F# browser apps with Fable, React and Elmish.

F# typings for the Shadcn UI library

Sécurix is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven conf…

Making SLOs with Prometheus manageable, accessible, and easy to use for everyone!

.NET tool for determining which projects are affected by a set of changes. Useful for large projects or monorepos.

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Exercises for learning Rust, by Ferrous Systems

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Interactive JSON filter using jq

Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

age-encrypted secrets for NixOS and Home manager

Example of using native libraries in F#

(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage

A cross-platform, OpenGL terminal emulator.

Secret managing scheme for NixOS

An agenix extension adding secret generation and automatic rekeying using a YubiKey or master-identity

Container registry which transparently builds images using the Nix package manager. Canonical repository is https://cs.tvl.fyi/depot/-/tree/tools/nixery

A tiny & fast type system for Nix in Nix

Yet another nix cli helper

rebuild only changed crates in CI with crate2nix and nix

Nix dependency pinning. Very similar to Niv but has a few features that I personally wanted.

Sane stable stateless NixOS setup

Your project’s nix-env [maintainer=@Profpatsch,@nyarly]

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]

Scan Nix files for dead code