Empowering everyone to build reliable and efficient software.

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Stable Haskell package sets: vetted consistent packages from Hackage

Lean 4 programming language and theorem prover

Nix Packages collection & NixOS

Nix-native configuration for niri

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

⭐️ A friendly language for building type-safe, scalable systems!

Compiler from OCaml to Javascript.

A scrollable-tiling Wayland compositor.

Extensions for the Zed editor

Command line client for Nix binary cache hosting:

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

The Agda standard library

Project Interaction Library for Emacs

⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!

The "batteries included" extended library for the Lean programming language and theorem prover

Official upstream development repository for Cabal and cabal-install

a structural diff that understands syntax 🟥🟩

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

Better configuration for less

Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]

A terminal mud client written in Rust

Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.

The Flix Programming Language

Official documentation for getting things done with Nix.

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

Cataclysm: Bright Nights, A fork/variant of Cataclysm:DDA by CleverRaven.

Arcana and Magic Items mod for Cataclysm: Dark Days Ahead

Pure and reproducible nix overlay of binary distributed rust toolchains