TernixTernix
Config (0)
browse

Packages

nixos-unstablenixos-26.05

150,762 packages in nixos-unstable.

adwaita-icon-theme-legacyFullcolor icon theme providing fallback for legacy apps
46.2
adwaita-qtStyle to bend Qt applications to look like they belong into GNOME Shell
1.4.2
adwaita-qt6Style to bend Qt applications to look like they belong into GNOME Shell
1.4.2
adwsteamgtkSimple Gtk wrapper for Adwaita-for-Steam
0.8.0
aeacusVulnerability remediation scoring system
2.1.1
aeganAegean
13.00
aegis-rsAegis compatible OTP generator for the CLI
0.5.1
aegisubAdvanced subtitle editor
3.4.2
aegyptusEgyptian Hieroglyphs, Coptic, Meroitic
13.00
aemuAndroid emulation utilities library
0.1.2
aeolusSynthetized (not sampled) pipe organ emulator
0.10.4
aeolus-stopsAeolus synthesizer instrument definitions
0.4.0
aercEmail client for your terminal
0.22.0
aerionAn Open Source Lightweight E-Mail Client
0.3.4
aerion-credsOAuth credentials shim for Aerion
0.3.4
aerogrammeEncrypted e-mail storage over Garage
0.3.0
aeronLow-latency messaging library
1.50.2
aeron-cppAeron Messaging C++ Library
1.50.2
aerospacei3-like tiling window manager for macOS
0.21.3-Beta
aerospikeFlash-optimized, in-memory, NoSQL database
8.0.0.10
aescryptEncrypt files with Advanced Encryption Standard (AES)
3.16
aesfixCorrect bit errors in an AES key schedules
1.0.1
aeskeyfindLocates 128-bit and 256-bit AES keys in a captured memory image
1.0
aespipeAES encrypting or decrypting pipe
2.4j
aether-lv2Algorithmic reverb LV2 based on Cloudseed
1.2.1
aewanAscii-art Editor Without A Name
1.0.01
afetchFetch program written in C
2.2.0
afewInitial tagging script for notmuch mail
4.0.2
affineWorkspace with fully merged docs, whiteboards and databases
0.26.7
affine-binWorkspace with fully merged docs, whiteboards and databases
0.18.1
afflibAdvanced forensic format library
3.7.22
afioFault tolerant cpio archiver targeting backups
2.5.2
aflplusplusHeavily enhanced version of AFL, incorporating many features and improvements from the community
5.00c
afsctoolUtility that allows end-users to leverage HFS+/APFS compression
1.7.3
aftenAudio encoder which generates compressed audio streams based on ATSC A/52 specification
0.0.8
afterburnOne-shot cloud provider agent
5.10.0
afterglow-cursors-recoloredRecoloring of the Afterglow Cursors x-cursor theme
0-unstable-2023-10-04
agariComprehensive Riichi Mahjong scoring engine
0.24.0
agateVery simple server for the Gemini hypertext protocol
3.3.24
agaveTrueType monospaced typeface designed for X environments
37
agdaA dependently typed functional programming language and proof assistant
2.8.0
agdaPackages._1labFormalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
0-unstable-2025-07-01
agdaPackages.agdaA dependently typed functional programming language and proof assistant
2.8.0
agdaPackages.agda-categoriesNew Categories library
0.3.0
agdaPackages.agda-preludeProgramming library for Agda
0-unstable-2024-08-22
agdaPackages.agda2hs-baseStandard library for compiling Agda code to readable Haskell
1.4
agdaPackages.agdarsecTotal Parser Combinators in Agda
0.5.0-unstable-2025-08-05
agdaPackages.cubicalCubical type theory library for use with the Agda compiler
0.9
agdaPackages.cubical-miniNonstandard library for Cubical Agda
0.5-unstable-2025-06-13
agdaPackages.functional-linear-algebraFormalizing linear algebra in Agda by representing matrices as functions from one vector space to another.
0.5.0
← PreviousNext →