browse
Packages
151,947 packages in nixos-unstable.
adw-gtk3Unofficial GTK 3 port of libadwaita
6.5adwaita-fontsAdwaita Sans, a variation of Inter, and Adwaita Mono, Iosevka customized to match Inter
50.0adwaita-icon-theme
50.0adwaita-icon-theme-legacyFullcolor icon theme providing fallback for legacy apps
46.2adwaita-qtStyle to bend Qt applications to look like they belong into GNOME Shell
1.4.2adwaita-qt6Style to bend Qt applications to look like they belong into GNOME Shell
1.4.2adwsteamgtkSimple Gtk wrapper for Adwaita-for-Steam
0.9.1aeacusVulnerability remediation scoring system
2.1.1aeganAegean
13.00aegis-rsAegis compatible OTP generator for the CLI
0.5.1aegisubAdvanced subtitle editor
3.5.1aegyptusEgyptian Hieroglyphs, Coptic, Meroitic
13.00aemuAndroid emulation utilities library
0.1.2aeolusSynthetized (not sampled) pipe organ emulator
0.10.4aeolus-stopsAeolus synthesizer instrument definitions
0.4.0aercEmail client for your terminal
0.22.0aerionAn Open Source Lightweight E-Mail Client
0.3.5aerion-credsOAuth credentials shim for Aerion
0.3.5aerogrammeEncrypted e-mail storage over Garage
0.3.0aeronLow-latency messaging library
1.50.2aeron-cppAeron Messaging C++ Library
1.50.2aerospacei3-like tiling window manager for macOS
0.21.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
4.0.2affineWorkspace 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-04agariComprehensive Riichi Mahjong scoring engine
0.27.0agateVery simple server for the Gemini hypertext protocol
3.3.25agaveTrueType 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-05