-o ‐ Nix Packages ‐ Searchix

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

Indexing last ran 20 hours ago, will run again in 3 hours.

Nix Packages search

Attribute	Description
chickenPackages_5.chickenEggs.csm	a build system
aacgain	ReplayGain for AAC files
aws-sdk-cpp	C++ interface for Amazon Web Services
bic	C interpreter and API explorer
chickenPackages_5.chickenEggs.graph-separators	Determine the separation vertices of a graph.
cddl	Parser, generator, and validator for CDDL
elixir	Functional, meta-programming aware language built on top of the Erlang VM
chickenPackages_5.chickenEggs.match-generics	matchable generics
archivy	Self-hosted knowledge repository
bsnes-hd	Fork of bsnes that adds HD video features
chickenPackages_5.chickenEggs.lsp-server	LSP Server for CHICKEN.
chickenPackages_5.chickenEggs.spock	A compiler and runtime system for R5RS Scheme on top of JavaScript
biboumi	Modern XMPP IRC gateway
dmg2img	Tool which allows converting Apple compressed dmg archives to standard (hfsplus) image disk files
cliquer	Routines for clique searching
agdsn-zsh-config	Modified version of the Grml Zsh configuration specialised for the needs of system administration
dawn	Vectorized 3D PostScript processor with analytical hidden line/surface removal
chickenPackages_5.chickenEggs.spiffy-request-vars	Easy access to variables from HTTP requests
chickenPackages_5.chickenEggs.sexpc	Unix filter that turns sexps into C syntax
chickenPackages_5.chickenEggs.srfi-113	SRFI-113: Sets and Bags
dtools	Ancillary tools for the D programming language
chickenPackages_5.chickenEggs.git	libgit2 bindings
coqPackages.metarocq-safechecker-plugin
eccodes	ECMWF library for reading and writing GRIB, BUFR and GTS abbreviated header
coqPackages.mathcomp-reals-stdlib	Analysis library compatible with Mathematical Components
chickenPackages_5.chickenEggs.schematic	Tools for Scheme development
beamMinimal27Packages.elixir-ls	A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"
elmerfem	Finite element software for multiphysical problems
chickenPackages_5.chickenEggs.graph-dfs	Depth-first search in a graph.
bkcrack	Crack legacy zip encryption with Biham and Kocher's known plaintext attack
coqPackages.parseque	Total parser combinators in Rocq
apfs-fuse	FUSE driver for APFS (Apple File System)
chickenPackages_5.chickenEggs.srfi-105	SRFI-105 - curly infix expressions
agedu	Unix utility for tracking down wasted disk space
bgpq4	BGP filtering automation tool
beamMinimal27Packages.livebook	Automate code & data workflows with interactive Elixir notebooks
chickenPackages_5.chickenEggs.pyffi	An interface to the Python programming language.
chickenPackages_5.chickenEggs.latch	Evaluate expressions once
bossa-arduino	Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers
chickenPackages_5.chickenEggs.intarweb	A more convenient HTTP library
buddy	Binary decision diagram package
cron	Daemon for running commands at specific times
barman	Backup and Recovery Manager for PostgreSQL
crossguid	Lightweight cross platform C++ GUID/UUID library
chickenPackages_5.chickenEggs.list-comprehensions	Some list creating routines
chickenPackages_5.chickenEggs.tweetnacl	TweetNaCl cryptographic library
chickenPackages_5.chickenEggs.apropos	CHICKEN apropos
bochs	Open-source IA-32 (x86) PC emulator
atkmm_2_36	C++ wrappers for ATK accessibility toolkit
cpulimit	CPU usage limiter
beam27Packages.elixir_1_19	Functional, meta-programming aware language built on top of the Erlang VM
coqPackages.graph-theory	Library of formalized graph theory results in Coq
amd-ucodegen	Tool to generate AMD microcode files
chickenPackages_5.chickenEggs.message-digest	Message Digest (omnibus)
certbot	ACME client that can obtain certs and extensibly update server configurations
cemu-ti	Third-party TI-84 Plus CE / TI-83 Premium CE emulator, focused on developer features
charls	JPEG-LS library implementation in C++
chickenPackages_5.chickenEggs.srfi-69	SRFI-69 hash-table library
apacheHttpdPackages_2_4.mod_itk	MPM (Multi-Processing Module) for the Apache web server
chickenPackages_5.chickenEggs.imlib2	Chicken bindings for the Imlib2 image library
chickenPackages_5.chickenEggs.edward	An extensible implementation of the ed text editor as defined in POSIX.1-2008
asdf-vm	Extendable version manager with support for Ruby, Node.js, Erlang & more
chickenPackages_5.chickenEggs.internet-message	Parser combinators for Internet Message Format (RFC 5322).
aws-c-compression	C99 implementation of huffman encoding/decoding
chickenPackages_5.chickenEggs.dynamic-import	Dynamic Import
chickenPackages_5.chickenEggs.dbus	A binding for libdbus, the IPC mechanism
doclifter	Lift documents in nroff markups to XML-DocBook
baobab	Graphical application to analyse disk usage in any GNOME environment
chickenPackages_5.chickenEggs.srfi-29	Localization
ccache	Compiler cache for fast recompilation of C/C++ code
coq_8_17	Coq proof assistant
beamMinimal28Packages.livebook	Automate code & data workflows with interactive Elixir notebooks
abcmidi	Utilities for converting between abc and MIDI
chickenPackages_5.chickenEggs.expat	An interface to James Clark's Expat XML parser
aprutil	Companion library to APR, the Apache Portable Runtime
coqPackages.deriving	Generic instances of MathComp classes
countryguess	Guess the 193 U.N. recognised countries
apacheHttpdPackages_2_4.mod_scep	RedWax CA service modules for SCEP (Automatic ceritifcate issue/renewal)
coqPackages.aac-tactics	Coq plugin providing tactics for rewriting universally quantified equations
boost-build
chickenPackages_5.chickenEggs.agrep	Approximate grep..
chickenPackages_5.chickenEggs.fcp	Very basic interface to freenet FCP
chickenPackages_5.chickenEggs.magic	libmagic bindings
apacheHttpdPackages.mod_perl	Integration of perl with the Apache2 web server
debian-goodies	Small toolbox-style utilities for Debian systems
dia	Gnome Diagram drawing software
chickenPackages_5.chickenEggs.phosphate	Parser combinators with error recovery using call/cc
chickenPackages_5.chickenEggs.semantic-version	Semantic Version Utilities
c-siphash	Streaming-capable SipHash Implementation
apacheHttpdPackages_2_4.mod_pkcs12	RedWax CA service modules for PKCS#12 format files
coqPackages.libvalidsdp	ValidSDP
chickenPackages_5.chickenEggs.edn	EDN data reader/writer.
chickenPackages_5.chickenEggs.stalin	An aggressively optimizing Scheme->C compiler
colorized-logs	Tools for logs with ANSI color
chickenPackages_5.chickenEggs.math	Chicken port of Racket's math library
coq_8_19	Coq proof assistant
chickenPackages_5.chickenEggs.oauth	OAuth 1.0, 1.0a, RFC 5849
chickenPackages_5.chickenEggs.thread-utils	Thread Utilities
agdaPackages.cubical-mini	Nonstandard library for Cubical Agda
chickenPackages_5.chickenEggs.siphash	The SipHash family of hash functions