A fast usermode x86 and x86-64 emulator for Arm64 Linux

Domain-Specific Languages of Mathematics

Abstract Automatic Differentiation

A Haskell re-implementation of the Nix expression language

Secure & Modern All-in-One Mail Server (IMAP, JMAP, POP3, SMTP)

📱 (rebooting... please wait...)

Frame aware scheduling for android.

A Tutorial how to get started with Linux Kernel Modules and Linux Drivers.

a model of MIR and the Rust type/trait system

The official (but not yet stable) formatter for Nix code

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime]

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

one CLI to format your repo [maintainers=@zimbatm,@brianmcgee]

A framework for writing plugins that integrate with the Rust compiler

Keyguard is an alternative client for the Bitwarden® platform, created to provide the best user experience possible.

Wait until we're connected to the Internet

Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

A verified polyhedral scheduling validator in Coq.

A simple, fast and user-friendly alternative to 'find'

OpenTofu lets you declaratively manage your cloud infrastructure.

A modern TLS library in Rust

Proxy implementation of MSC3575's sync protocol.

The correct way to use Nix flakes

CVE-2023-34312

dkms module of Linux i915 driver with SR-IOV support

Automatically build (netboot) images for NixOS [maintainer=@Mic92]

A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once (Fork of MultiMC)

install nixos everywhere via ssh [maintainer=@numtide]