A helpful AI assistant for Mercury engineers

Cross-platform Rust rewrite of the GNU coreutils

NixOS configuration for tunneling an inbound SSH connection over an outbound HTTPS connection

Strict markdown processor for writers

Wrangling Untrusted File Formats Safely

syzkaller is an unsupervised coverage-guided kernel fuzzer

Wadler-style pretty-printing combinators in Rust

A Rust library providing pretty hex dump.

Panic messages for humans.

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

Define and build CI for Nix projects anywhere; superceded by Omnix https://omnix.page/om/ci.html

Official documentation for getting things done with Nix.

Example flake for nixos-anywhere

Schemas for common flake output types

Better configuration for less

install nixos everywhere via ssh [maintainer=@numtide]

The Unreproducible Package

Generate a NixOS config from a Docker Compose project.

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

Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

Hypothesis-like property testing for Rust

The registry for Rust crates

Run docker-compose with help from Nix/NixOS

NixOS MicroVMs

A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…

Make production Rust binaries auditable

A catalogue of Rust design patterns, anti-patterns and idioms

Multivariable calculus in pure rust

Creusot helps you prove your code is correct in an automated fashion.