browse
Packages
145,397 packages in nixos-unstable.
aercEmail client for your terminal
0.21.0aerogrammeEncrypted e-mail storage over Garage
0.3.0aeronLow-latency messaging library
1.49.0aeron-cppAeron Messaging C++ Library
1.49.0aerospacei3-like tiling window manager for macOS
0.20.3-BetaaerospikeFlash-optimized, in-memory, NoSQL database
8.0.0.10aescryptEncrypt files with Advanced Encryption Standard (AES)
3.16aesfixCorrect bit errors in an AES key schedules
1.0.1aeskeyfindLocates 128-bit and 256-bit AES keys in a captured memory image
1.0aespipeAES encrypting or decrypting pipe
2.4jaether-lv2Algorithmic reverb LV2 based on Cloudseed
1.2.1aewanAscii-art Editor Without A Name
1.0.01afetchFetch program written in C
2.2.0afewInitial tagging script for notmuch mail
3.0.1affineWorkspace with fully merged docs, whiteboards and databases
0.26.7affine-binWorkspace with fully merged docs, whiteboards and databases
0.18.1afflibAdvanced forensic format library
3.7.22afioFault tolerant cpio archiver targeting backups
2.5.2aflplusplusHeavily enhanced version of AFL, incorporating many features
and improvements from the community
5.00cafsctoolUtility that allows end-users to leverage HFS+/APFS compression
1.7.3aftenAudio encoder which generates compressed audio streams based on ATSC A/52 specification
0.0.8afterburnOne-shot cloud provider agent
5.10.0afterglow-cursors-recoloredRecoloring of the Afterglow Cursors x-cursor theme
0-unstable-2023-10-04afterstepNEXTStep-inspired window manager
2.2.12agateVery simple server for the Gemini hypertext protocol
3.3.23agaveTrueType monospaced typeface designed for X environments
37agdaA dependently typed functional programming language and proof assistant
2.8.0agdaPackages._1labFormalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
0-unstable-2025-07-01agdaPackages.agdaA dependently typed functional programming language and proof assistant
2.8.0agdaPackages.agda-categoriesNew Categories library
0.3.0agdaPackages.agda-preludeProgramming library for Agda
0-unstable-2024-08-22agdaPackages.agda2hs-baseStandard library for compiling Agda code to readable Haskell
1.4agdaPackages.agdarsecTotal Parser Combinators in Agda
0.5.0-unstable-2025-08-05agdaPackages.cubicalCubical type theory library for use with the Agda compiler
0.9agdaPackages.cubical-miniNonstandard library for Cubical Agda
0.5-unstable-2025-06-13agdaPackages.functional-linear-algebraFormalizing linear algebra in Agda by representing matrices as functions
from one vector space to another.
0.5.0agdaPackages.genericsLibrary for datatype-generic programming in Agda
1.0.1agdaPackages.iowa-stdlibAgda standard library developed at Iowa
1.5.0agdaPackages.standard-libraryStandard library for use with the Agda compiler
2.3agdsn-zsh-configModified version of the Grml Zsh configuration specialised for the needs of system administration
0.9.0ageModern encryption tool with small explicit keys
1.3.1age-plugin-1pUse SSH keys from 1Password with age
0.1.0age-plugin-fido2-hmacAge plugin to encrypt files with fido2 tokens using the hmac-secret extension and non-discoverable credentials
0.5.0age-plugin-fido2prfAge plugin to encrypt files with FIDO2 tokens in a way compatible to typage
0.3.0age-plugin-ledgerLedger Nano plugin for age
0.1.2age-plugin-openpgp-cardAge plugin for using ed25519 on OpenPGP Card devices (Yubikeys, Nitrokeys)
0.1.2age-plugin-seAge plugin for Apple's Secure Enclave
0.1.4age-plugin-sssAge plugin to split keys and wrap them with different recipients using Shamir's Secret Sharing
0.4.0age-plugin-tpmTPM 2.0 plugin for age (This software is experimental, use it at your own risk)
1.0.1age-plugin-yubikeyYubiKey plugin for age
0.5.1