Lib.rs

› Keywords #package-manager #fuzzy-search #nix-flakes #formal-verification #hax

#nix-package

  1. nixpacks

    Generate an OCI compliant image based off app source

    v1.41.0 100 #deployment #oci-compliant #docker-container #nix-package #source #buildpack

  2. nix-install

    command line utility to quickly add packages to your configuration.nix using fuzzy search and rebuild all in one command :)

    v0.1.10 #fuzzy-search #nix-package #command-line-tool #rebuild #add #nixos

  3. nixman

    Recreate the Nix package manager style of package management for Arch Linux

    v0.2.0 #package-manager #nix-package #nix #linux

  4. idr2nix

    Generate a Nix flake from an Idris 2 package

    v0.1.2 #nix-flakes #nix-package #idris #nix

  5. nix-init

    Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more

    v0.3.0 #nix-package #interactive-cli #nix #generate #interactive

  6. powerline-rs

    powerline-shell rewritten in Rust. Inspired by powerline-go.

    v0.2.0 #shell-prompt #powerline-shell #powerline-go #user-name #nix #debugging #git #rewritten #nix-package #host-name

  7. hax-diagnostics

    hax diagnostics helper crate

    v0.1.0-pre.1 #hax #diagnostics #helper #formal-verification #cargo-subcommand #hacspec #dsl #coq #nix-package

  8. cargo-nbuild

    builder that uses the nix package manager

    v0.1.2 #package-manager #nix-package #builder

  9. nix-shell-locked

    Wrapper of nix shell that reads a lockfiles to get the nixpkgs revision to use when sourcing packages to install in transient shell

    v0.2.1 #lock-files #nix-package #revision #read #nix-flakes #flake

  10. hax-bounded-integers

    Newtypes for working with bounded integers with hax

    v0.3.5 370 #hax #integer #bounded-integer #newtype #formal-verification #high-assurance #cargo-subcommand #nix #nix-package #hacspec

  11. hdn

    updating home.nix

    v1.0.0 #home-manager #nix #nix-package

  12. runfile

    Run commands in the languages you love!

    v0.1.1 #run-command #love #nix-package #scripting-language #makefile #command-runner

  13. nix-build

    A build dependency for running nix to build a package

    v0.1.0 #build-dependencies #nix-package

    14. Try searching with DuckDuckGo.

  14. nbuild-core

    Core library for cargo-nbuild

    v0.1.2 #nix-package #cache #version #package-manager #shared #rust-projects #build-cache

  15. nix-query

    A cached fuzzy searcher for Nix packages

    v1.0.2 #fuzzy-search #nix-package #tui #nix #package-managment

  16. oak-nix

    Nix package manager language parser with support for declarative package configuration and reproducible builds

    v0.0.0 #package-manager #nix #parser #declarative #nix-package

  17. hax-rust-engine-macros

    helpers procedural macros for the hax-rust-engine

    v0.3.5 170 #hax #proc-macro #hax-rust-engine #ast #formal-verification #high-assurance #cargo-subcommand #nix #nix-package