Manage a user environment using Nix [maintainer=@khaneliman, @rycee]

Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu,@cyclic-pentane]

Nix Packages collection

Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]

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

🎯 The official website of One Student One Chip project.

RISC-V Instruction Set Manual

A GitHub action to manage and synchronize localization resources with your Crowdin project

Modeling Architectural Platform

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

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

An example repository for Koishi bot development.

A simple multi-profile Nix-flake deploy tool.

Verilator Porcelain