Lists (3)
Stars
Fingerprints the underlying system by only using primitives available in pure evaluation mode
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…
Chinese fonts collection for Nix/NixOS user.
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
Open-source document intelligence platform with OCR, extraction, grounded Q&A, and task-specific AI configuration
BranchFS is a FUSE-based filesystem that provides lightweight, atomic speculative branching on top of any existing filesystem.
GitHub Action for checking out a repository. (Simplified actions/checkout alternative that does not depend on Node.js.)
Automatically generate Haskell bindings from C header files
Deploy with Nix and manage resources declaratively
A collection of notes I made during OPLSS25.
Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
Hull is a tool to prepare programming contest problems.
Prototype of a command line argument parser with several opposite design goals from clap.
🦀 How to minimize Rust binary size 📦 https://github.com/johnthagen/min-sized-rust
Tool to vet (check) Nixpkgs, including its pkgs/by-name directory
Beat your package expressions into a shape
scan nix packages for unused buildInputs
Keeping track of companies that "care about your data 🥺"
A custom NixOS flake that provides a sandboxed offline WPS Office installation with additional fonts and useful configuration options.
SSH + Rclone Machine Learning Development Environment for Nix
An imitation of sudo, using run0 internally