-H ‐ Nix Packages ‐ Searchix

Search Nix packages and options from NixOS, Darwin, Home Manager, Nix Packages and NUR

Indexing last ran 15 hours ago, will run again in 9 hours.

Nix Packages search

Attribute	Description
drawterm-wayland	Connect to Plan 9 CPU servers from other operating systems
advi	Unix-platform DVI previewer and a programmable presenter for slides written in LaTeX
anders	Modal Homotopy Type System
crawl	Open-source, single-player, role-playing roguelike game
darwin.xcode_11	Apple's Xcode developer tools
darwin.xcode_11_1	Apple's Xcode developer tools
bemenu	Dynamic menu library and client program inspired by dmenu
dino	Modern Jabber/XMPP Client using GTK/Vala
dune3d	3D CAD application
dante	Circuit-level SOCKS client/server that can be used to provide convenient and secure network connectivity
aws-sso-util	Utilities to make AWS SSO easier
darwin.xcode_8_1	Apple's Xcode developer tools
darwin.xcode_26_1_Apple_silicon	Apple's Xcode developer tools
dune-release	Release dune packages in opam
darwin.xcode_12_4	Apple's Xcode developer tools
clightning	Bitcoin Lightning Network implementation in C
balatro	Poker roguelike
dune_3	Composable build system
darwin.xcode_26	Apple's Xcode developer tools
cflow	Tool to analyze the control flow of C programs
dynamips	Cisco router emulator
cpp-utilities	Common C++ classes and routines used by @Martchus' applications featuring argument parser, IO and conversion utilities
darwin.xcode_12_5_1	Apple's Xcode developer tools
asymptote	Tool for programming graphics intended to replace Metapost
chickenPackages_4.chickenEggs.http-client
dune	Composable build system
bazel_7	Build tool that builds code quickly and reliably
btop-rocm	Monitor of resources
consul	Tool for service discovery, monitoring and configuration
dumpasn1	Display and debug ASN.1 data
acgtk	Toolkit for developing ACG signatures and lexicon
djgpp	Complete 32-bit GNU-based development system for Intel x86 PCs running DOS
cherry-studio	Desktop client that supports for multiple LLM providers
darwin.xcode_14_1	Apple's Xcode developer tools
darwin.xcode_26_0_1_Apple_silicon	Apple's Xcode developer tools
alt-ergo-free	High-performance theorem prover and SMT solver
darwin.xcode_9_1	Apple's Xcode developer tools
azahar	Open-source 3DS emulator project based on Citra
abcl	JVM-based Common Lisp implementation
darwin.xcode_10_2	Apple's Xcode developer tools
darwin.xcode_9_2	Apple's Xcode developer tools
conduktor-ctl	CLI tool to interact with the Conduktor Console and Gateway
assimp	Library to import various 3D model formats
dbeaver-bin	Universal SQL Client for developers, DBA and analysts. Supports MySQL, PostgreSQL, MariaDB, SQLite, and more
alpaca-proxy	HTTP forward proxy with PAC and NTLM authentication support
coin3d	High-level, retained-mode toolkit for effective 3D graphics development
darwin.xcode_10_2_1	Apple's Xcode developer tools
darwin.xcode_10_3	Apple's Xcode developer tools
darwin.xcode_10_1	Apple's Xcode developer tools
element-desktop	Feature-rich client for Matrix.org
ber_metaocaml	Multi-Stage Programming extension for OCaml
darwin.xcode_15_4	Apple's Xcode developer tools
darwin.xcode_11_7	Apple's Xcode developer tools
cbc	Mixed integer programming solver
comby	Tool for searching and changing code structure
bruno-cli	CLI of the open-source IDE For exploring and testing APIs
cjdns-tools	Tools for cjdns managment
darwin.xcode_16	Apple's Xcode developer tools
bup	Efficient file backup system based on the git packfile format
antiword	Convert MS Word documents to plain text or PostScript
angle	Conformant OpenGL ES implementation for Windows, Mac, Linux, iOS and Android
darwin.xcode_16_1	Apple's Xcode developer tools
darwin.xcode_12_0_1	Apple's Xcode developer tools
bitbucket-cli	Bitbucket Enterprise CLI
_86box	Emulator of x86-based machines based on PCem
ansifilter	ANSI sequence filter
freerouting	Advanced PCB auto-router
gqrx-portaudio	Software defined radio (SDR) receiver
etcd_3_6	Distributed reliable key-value store for the most critical data of a distributed system
freetube	Open Source YouTube app for privacy
gpodder	Podcatcher written in python
go-motion	Navigation and insight in Go
gst_all_1.gst-plugins-bad	GStreamer Bad Plugins
exempi	Implementation of XMP (Adobe's Extensible Metadata Platform)
gpm-ncurses	Daemon that provides mouse support on the Linux console
fstl	Fastest STL file viewer
frankenphp	Modern PHP app server
gemini-cli-bin	AI agent that brings the power of Gemini directly into your terminal
gqrx	Software defined radio (SDR) receiver
geoclue2	Geolocation framework and some data providers
flvstreamer	Command-line RTMP client
foremost	Recover files based on their contents
gpp	General-purpose preprocessor with customizable syntax
gtksourceview3
gotestsum	Human friendly `go test` runner
eternal-terminal	Remote shell that automatically reconnects without interrupting the session
got	Version control system which prioritizes ease of use and simplicity over flexibility
feather-tk	Lightweight toolkit for building cross-platform applications
flow	Static type checker for JavaScript
fstar	ML-like functional programming language aimed at program verification
gpm	Daemon that provides mouse support on the Linux console
har-to-k6	Converts LI-HAR and HAR to K6 script
go-passbolt-cli	CLI tool to interact with Passbolt, an open source password manager for teams
golden-cheetah	Performance software for cyclists, runners and triathletes. Built from source and without API tokens
flann	Fast approximate nearest neighbor searches in high dimensional spaces
gtypist	Universal typing tutor
goaccess	Real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems
fdm	Mail fetching and delivery tool - should do the job of getmail and procmail
filen-desktop	Filen Desktop Client
geogebra6	Dynamic mathematics software with graphics, algebra and spreadsheets