Repository Index

Rust toolchains and rust-analyzer nightly for Nix [maintainers=@figsoda, @eureka-cpu]

• nix
• rust
• nightly
• overlay

An unofficial NixOS fork with a FreeBSD kernel [maintainer=@artemist,@rhelmot]

Convert poetry projects to nix automagically [maintainer=]

• nix
• python

Your project’s nix-env [maintainer=@Profpatsch,@nyarly]

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

Generate Nix fetcher calls from URLs [maintainer=@figsoda]

• fetch
• github
• gitlab
• mercurial

Uv2nix - Ingest uv workspaces using Nix [maintainer=@adisbladis]

NixOS-like services for Nix flakes [maintainer=@shivaraj-bh,@srid]

• flake-parts
• flakes
• nix
• services

Automated, pre-built packages for Wayland (sway/wlroots) tools for NixOS. [maintainers=@colemickens, @Artturin]

• nixpkgs
• nixos
• sway
• wayland

Tricks you wish the Coq manual told you [maintainer=@tchajed]

• coq

A linux distribution based on Nix [maintainer=@MagicRB]

A set of Terraform modules that are designed to deploy NixOS [maintainer=@adrian-gierakowski]

• terraform-modules
• nixos

Filesystem-based module system for Nix [maintainer=@figsoda]

• import
• nix
• flake
• hierarchy

[maintainer=@GaetanLepage, @willruggiano]

• neovim
• nix

Framework for simplifying flake setup [maintainer=@accelbread]

❄️ A dead simple Nix flake template repository for Neovim derivations [maintainer=@mrcjkb]

• neovim
• nix
• nvim
• flakes

A unified NixOS tooling replacement for nixos-* utilities [maintainers=@water-sucks,@Sporif]

• nixos

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

• coq
• awesome
• resources
• awesome-list

A ranger-like flake.lock viewer [maintainer=@figsoda]

• flake
• flakes
• inputs
• nix

Flutter Infinite ListView - ListView with items that can be scrolled infinitely in both directions. Maintainer: @slightfoot

• hacktoberfest

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

Generates a Nix expression for your Bundler-managed application. [maintainer=@manveru]

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

• coq-library
• typeclasses
• mathematics
• coq