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

Turn any executables to a single binary ELF application

CLI tool for interacting with the web

zsh plugin that lets you use zsh in nix-shell shells.

Distributed builds for Nix

A slightly opinionated Nix flake for ComfyUI with curated custom nodes. Supports macOS (Apple Silicon) and Linux with CUDA.

A fast implementation of Aho-Corasick in Rust.

A Nix plugin that resolves Cargo workspaces natively

A phenomenon-wise evaluation dataset for Japanese-English machine translation robustness. The dataset is based on the MTNT dataset, with additional annotations of four linguistic phenomena; Proper …

Agda is a dependently typed programming language / interactive theorem prover.

Nix packages for Ham Radio and SDR

RFC-145 compliant Nixdoc parser in pure Rust

Nix binary cache proxy service -- with local caching and signing.

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

A type-checking kernel, algebraic effects, and dependent types in pure Nix

Nix Algebraic Effects System with Handlers

Nix dynamic derivations made easy

Nix packaging of RosettaLinux, patched to work out-of-the-box. Reproducible. Version 15.4 beta 4.

A radical OCaml build system

SIMD accelerated JSON parser

Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项

ZFS bootloader for root-on-ZFS systems with support for snapshots and native full disk encryption

Dynamic Go Derivations — fine-grained Go builds for Nix

NixOS module for TPM-backed SSH host keys

A ssh server that knows who you are. $ ssh whoami.filippo.io

💎

Clean up Nix result links to allow garbage collection to do its thing!