browse
Packages
151,947 packages in nixos-unstable.
agdaPackages.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.2age-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.1age-plugin-keystoreAge plugin that stores X25519 or PQ Hybrid private keys in Linux Keyrings using the Secret Service D-Bus API
1.2.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.2.1age-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.1ageboxAge based repository file encryption gitops tool
0.8.0ageduUnix utility for tracking down wasted disk space
20241013.3622edaagendaSimple, fast, no-nonsense to-do (task) list designed for elementary OS
1.2.1agenix-cliCompanion tool to https://github.com/ryantm/agenix
0.1.2agent-browserHeadless browser automation CLI for AI agents
0.41.1agent-safehouseSandbox your local AI agents so they can read/write only what they need
0.11.0agentapsDesktop client for Agent Client Protocol agents
0.7.0agentsploitOffensive security framework for AI agents and MCP servers
1.7.0agevaultDirectory encryption tool using age file encryption
1.2.0aggHigh quality rendering engine for C++
2.5aggregate6IPv4 and IPv6 prefix aggregation tool
1.0.15agiAndroid GPU Inspector
3.3.1agkozak-zsh-promptFast, asynchronous Zsh prompt
3.11.5agneyastraFirebase Misconfiguration Detection Toolkit
0-unstable-2025-11-06agnosObtains certificates from Let's Encrypt using DNS-01 without the need for API access to the DNS provider
0.1.1agolaCI/CD Redefined
0.11.0agorakitWeb-based, open-source groupware
1.11agruFaster ansible-galaxy substitute
0.1.19ahaANSI HTML Adapter
0.5.1ahcpdAutoconfiguration protocol for IPv6 and dual-stack IPv6/IPv4 networks
0.53ahk_x11AutoHotkey for X11
1.0.7ahoyCreate self-documenting cli programs from YAML files
3.0.2aiacArtificial Intelligence Infrastructure-as-Code Generator
5.3.0aichatUse GPT-4(V), Gemini, LocalAI, Ollama and other LLMs in the terminal
0.30.0aideFile and directory integrity checker
0.19.5aider-chatAI pair programming in your terminal
0.86.1aider-chat-fullAI pair programming in your terminal
0.86.1aider-chat-with-bedrockAI pair programming in your terminal
0.86.1aider-chat-with-browserAI pair programming in your terminal
0.86.1aider-chat-with-helpAI pair programming in your terminal
0.86.1aider-chat-with-playwrightAI pair programming in your terminal
0.86.1aigerAnd-Inverter Graph (AIG) utilities
1.9.20