Nix

KEVMkframework/evm-semantics

A formal semantics of the Ethereum Virtual Machine (EVM) written in the K framework, enabling verification and symbolic execution of smart contracts.

nix-mineralcynicsketch/nix-mineral

A NixOS module for convenient system hardening by securely configuring existing software and reducing attack surface.

Kurtosiskurtosis-tech/kurtosis

A platform for packaging and launching ephemeral blockchain development and test stacks, abstracting over Docker and Kubernetes.

flake-utils-plusgytis-ivaskevicius/flake-utils-plus

A Nix library for generating NixOS flake configurations with minimal complexity and multiple nixpkgs channel support.

zig-overlaymitchellh/zig-overlay

A Nix flake packaging the Zig compiler, providing easy access to released and nightly versions.

KubeNixhall/kubenix

A Nix-based framework for managing Kubernetes resources, enabling declarative configuration and reproducible deployments.

NixNGnix-community/NixNG

A lightweight, container-focused Linux distribution based on Nix with modular init system choices and minimal defaults.

Self Host Blocksibizaman/selfhostblocks

An opinionated NixOS distribution providing modular building blocks and unified configuration for self-hosting services with best practices.

Makesfluidattacks/makes

A CI/CD framework powered by Nix for building secure and reproducible software supply chains.

Standarddivnix/std

A DevOps framework for the SDLC that organizes and disciplines Nix code using Flakes to accelerate development.

cargo2nixcargo2nix/cargo2nix

Generate Nix expressions from Rust Cargo projects for granular, reproducible builds and development environments.

sparkletweag/sparkle

A library for writing Apache Spark applications in Haskell, enabling resilient analytics that scale to thousands of nodes.

haumeanix-community/haumea

A filesystem-based module system for Nix that automatically imports directories into attribute sets.

terraform-nixosnix-community/terraform-nixos

Terraform modules for deploying NixOS machines to cloud infrastructure, combining infrastructure-as-code with NixOS configuration management.

neovim-nightly-overlaynix-community/neovim-nightly-overlay

A Nix overlay that provides nightly builds of Neovim for NixOS and Home Manager users.

flakelightnix-community/flakelight

A modular Nix flake framework that simplifies flake definitions by minimizing boilerplate and providing extensible modules.

kickstart-nix.nvimmrcjkb/kickstart-nix.nvim

A dead simple Nix flake template for creating and managing Neovim configurations with Nix.

cabal2nixNixOS/cabal2nix

Generate Nix build instructions from Cabal files to integrate Haskell projects into the Nix ecosystem.

nixos-clinix-community/nixos-cli

A unified command-line interface for managing NixOS installations, replacing scattered nixos-* utilities.

nixidyarnarg/nixidy

A Kubernetes GitOps tool that uses Nix and the NixOS module system to manage cluster configurations with type safety and composability.

typedefstypedefs/typedefs

A programming language-agnostic algebraic data type definition language based on polynomials.

nixpkgs-hammeringjtojnar/nixpkgs-hammering

A linter for Nix package expressions that identifies common mistakes and provides explanations for Nixpkgs contributors.

extra-containererikarvstedt/extra-container

Manage declarative NixOS containers without full system rebuilds, combining declarative options with imperative speed.

NixinateMatthewCroughan/nixinate

A NixOS deployment tool that generates deployment scripts from your flake's nixosConfigurations.

gitignore.nixhercules-ci/gitignore.nix

Nix library for filtering local source directories using gitignore rules, enabling reproducible builds.

base16.nixSenchoPens/base16.nix

A Nix library for theming applications using base16 and base24 color schemes and templates.

idris-ctstatebox/idris-ct

A formally verified category theory library implemented in Idris, providing correctness guarantees through proofs.

hyprspacehyprspace/hyprspace

A lightweight VPN built on IPFS and libp2p that creates direct encrypted tunnels between nodes, even behind NATs/firewalls.

haskell-flakesrid/haskell-flake

A flake-parts Nix module that simplifies Haskell development, packaging, and deployment with Nix flakes.

nix-cargo-integration90-008/nix-cargo-integration

A flake-parts module that integrates Cargo projects with Nix using dream2nix for building and development shells.

Easy PureScript Nixjustinwoo/easy-purescript-nix

A Nix-based toolchain for easily installing and managing PureScript and related development tools.

pogjpetrucciani/pog

A Nix library for building full-featured CLI tools with flag parsing, auto-documentation, and tab completion in pure Nix.

zig2nixCloudef/zig2nix

A Nix flake for packaging, building, and running Zig projects with dependency management and cross-compilation.

LÖVE Game Development & Automated Build SystemOval-Tutu/bootstrap-love2d-project

A professional template and automated build system for creating and publishing LÖVE games across multiple platforms.

clj-nixjlesquembre/clj-nix

Nix helpers to reduce friction between Clojure projects and the Nix ecosystem.

dbcriticchannable/dbcritic

A PostgreSQL database schema linter that identifies schema problems like missing primary keys and unindexed foreign keys.