| packages/nixpkgs/elasticsearchPlugins.discovery-ec2 | EC2 discovery plugin uses the AWS API for unicast discovery |
| packages/nixpkgs/coqPackages.mathcomp-experimental-reals | Analysis library compatible with Mathematical Components |
| packages/nixpkgs/chickenPackages_5.chickenEggs.amqp | AMPQ |
| packages/nixpkgs/coqPackages.mathcomp-solvable | |
| packages/nixpkgs/atkmm_2_36 | C++ wrappers for ATK accessibility toolkit |
| packages/nixpkgs/btor2tools | Generic parser and tool package for the BTOR2 format |
| packages/nixpkgs/bochs | Open-source IA-32 (x86) PC emulator |
| packages/nixpkgs/chickenPackages_5.chickenEggs.json-utils | JSON Utilities |
| packages/nixpkgs/chickenPackages_5.chickenEggs.crc | Computes CRC checksum |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-214 | SRFI 241: Flexvectors |
| packages/nixpkgs/btrbk | Backup tool for btrfs subvolumes |
| packages/nixpkgs/chickenPackages_5.chickenEggs.termbox | Minimal text based user interfaces |
| packages/nixpkgs/clifm | CLI-based, shell-like, and non-curses terminal file manager |
| packages/nixpkgs/bitwuzla | SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions |
| packages/nixpkgs/coqPackages.flocq | Floating-point formalization for the Coq system |
| packages/nixpkgs/blugon | Simple and configurable Blue Light Filter for X |
| packages/nixpkgs/chickenPackages_5.chickenEggs.comparse | Schemely parser combinators |
| packages/nixpkgs/em | Editor for Mortals |
| packages/nixpkgs/dsview | GUI program for supporting various instruments from DreamSourceLab, including logic analyzer, oscilloscope, etc |
| packages/nixpkgs/basex | XML database and XPath/XQuery processor |
| packages/nixpkgs/cliquer | Routines for clique searching |
| packages/nixpkgs/chickenPackages_5.chickenEggs.csv-abnf | Parsing and formatting of comma-separated values (CSV). |
| packages/nixpkgs/dyndnsc | Dynamic DNS update client with support for multiple protocols |
| packages/nixpkgs/calibre-no-speech | Comprehensive e-book software |
| packages/nixpkgs/curl-impersonate | Special build of curl that can impersonate Chrome, Edge, Safari and Firefox |
| packages/nixpkgs/chickenPackages_5.chickenEggs.bind | Automatically generate bindings from C/C++ declarations |
| packages/nixpkgs/aws-c-sdkutils | AWS SDK utility library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.nanomsg | |
| packages/nixpkgs/chez-racket | Fork of Chez Scheme for Racket |
| packages/nixpkgs/cppcheck | Static analysis tool for C/C++ code |
| packages/nixpkgs/chickenPackages_5.chickenEggs.r6rs-bytevectors | An implementation of r6rs bytevectors |
| packages/nixpkgs/elmerfem | Finite element software for multiphysical problems |
| packages/nixpkgs/boohu | New coffee-break roguelike game |
| packages/nixpkgs/dolfinx | Computational environment of FEniCSx and implements the FEniCS Problem Solving Environment in C++ and Python |
| packages/nixpkgs/actdiag | Generate activity-diagram image from spec-text file (similar to Graphviz) |
| packages/nixpkgs/cairomm_1_16 | C++ bindings for the Cairo vector graphics library |
| packages/nixpkgs/abcmidi | Utilities for converting between abc and MIDI |
| packages/nixpkgs/bdftopcf | Converts X font from Bitmap Distribution Format to Portable Compiled Format |
| packages/nixpkgs/chickenPackages_5.chickenEggs.egg-tarballs | Creates tarballs for eggs in henrietta cache |
| packages/nixpkgs/chickenPackages_5.chickenEggs.sxpath | The sxpath bits of sxml-tools from the SSAX project at Sourceforge |
| packages/nixpkgs/chickenPackages_5.chickenEggs.big-chicken | Wrapper module for all core modules |
| packages/nixpkgs/alpine-make-vm-image | Make customized Alpine Linux disk image for virtual machines |
| packages/nixpkgs/cosmic-wallpapers | Wallpapers for the COSMIC Desktop Environment |
| packages/nixpkgs/baobab | Graphical application to analyse disk usage in any GNOME environment |
| packages/nixpkgs/dmtx-utils | Data matrix command-line utilities |
| packages/nixpkgs/boxfs | FUSE file system for box.com accounts |
| packages/nixpkgs/coqPackages.mathcomp-field | |
| packages/nixpkgs/coqPackages.validsdp | ValidSDP |
| packages/nixpkgs/cudaPackages.saxpy | Simple (Single-precision AX Plus Y) FindCUDAToolkit.cmake example for testing cross-compilation |
| packages/nixpkgs/beam26Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/dig | Domain name server |
| packages/nixpkgs/briss | Java application for cropping PDF files |
| packages/nixpkgs/coqPackages.MenhirLib | Support library for verified Coq parsers produced by Menhir |
| packages/nixpkgs/chickenPackages_5.chickenEggs.xj | Unix filter that turns XML into JSON |
| packages/nixpkgs/coqPackages.mathcomp-real-closed | Mathematical Components Library on real closed fields |
| packages/nixpkgs/bitcoin | Peer-to-peer electronic cash system |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-130 | SRFI-130: Cursor-based string library |
| packages/nixpkgs/_4th | Portable Forth compiler |
| packages/nixpkgs/audiofile | Library for reading and writing audio files in various formats |
| packages/nixpkgs/ccache | Compiler cache for fast recompilation of C/C++ code |
| packages/nixpkgs/antlr4_12 | Powerful parser generator |
| packages/nixpkgs/chickenPackages_5.chickenEggs.lazy-ffi | A foreign function interface for lazy programmers |
| packages/nixpkgs/cairomm | C++ bindings for the Cairo vector graphics library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.tiny-prolog | Tiny PROLOG interpreter. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.mosquitto | Bindings to mosquitto MQTT client library |
| packages/nixpkgs/age-plugin-se | Age plugin for Apple's Secure Enclave |
| packages/nixpkgs/antlr4_11 | Powerful parser generator |
| packages/nixpkgs/adios2 | Adaptable Input/Output System version 2 |
| packages/nixpkgs/coqPackages.metarocq-safechecker | |
| packages/nixpkgs/chickenPackages_5.chickenEggs.cst | Visualize sexps as trees via Graphviz |
| packages/nixpkgs/code-maat | Command line tool to mine and analyze data from version-control systems |
| packages/nixpkgs/chocolate-doom | Doom source port that accurately reproduces the experience of Doom as it was played in the 1990s |
| packages/nixpkgs/agdaPackages.cubical-mini | Nonstandard library for Cubical Agda |
| packages/nixpkgs/dnf4 | Package manager based on libdnf and libsolv |
| packages/nixpkgs/ciftilib | Library for reading and writing CIFTI files |
| packages/nixpkgs/apacheHttpdPackages.mod_csr | RedWax CA service module to handle Certificate Signing Requests |
| packages/nixpkgs/chickenPackages_5.chickenEggs.git | libgit2 bindings |
| packages/nixpkgs/chickenPackages_5.chickenEggs.digraph | Directed graph in adjacency list format. |
| packages/nixpkgs/aewan | Ascii-art Editor Without A Name |
| packages/nixpkgs/chickenPackages_5.chickenEggs.make | The PLT 'make' macro |
| packages/nixpkgs/chickenPackages_5.chickenEggs.imlib2 | Chicken bindings for the Imlib2 image library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.graph-scc | Compute strongly-connected components (SCC) of a graph. |
| packages/nixpkgs/bfcal | Quickly display a calendar |
| packages/nixpkgs/chickenPackages_5.chickenEggs.futures | Concurrent evaluation of expressions |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-171 | SRFI-171: Transducers |
| packages/nixpkgs/cfn-nag | Linting tool for CloudFormation templates |
| packages/nixpkgs/chickenPackages_5.chickenEggs.spiffy-request-vars | Easy access to variables from HTTP requests |
| packages/nixpkgs/chickenPackages_5.chickenEggs.s9fes-char-graphics | Scheme 9 from Empty Space Char Graphics |
| packages/nixpkgs/beamMinimal28Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/chickenPackages_5.chickenEggs.cairo | Chicken bindings for Cairo, a vector graphics library |
| packages/nixpkgs/cbftp | Advanced multi-purpose FTP/FXP client |
| packages/nixpkgs/chickenPackages_5.chickenEggs.pyffi | An interface to the Python programming language. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.scmfmt | Chicken Scheme code formattor to use from stdin/stdout |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-209 | SRFI 209: Enums and enum sets |
| packages/nixpkgs/chickenPackages_5.chickenEggs.rope | Heavyweight alternative to strings |
| packages/nixpkgs/djview | Portable DjVu viewer (Qt5) |
| packages/nixpkgs/bchunk | Program that converts CD images in BIN/CUE format into a set of ISO and CDR tracks |
| packages/nixpkgs/beam27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/chickenPackages_5.chickenEggs.stalin | An aggressively optimizing Scheme->C compiler |
| packages/nixpkgs/elasticsearchPlugins.analysis-kuromoji | Japanese (kuromoji) Analysis plugin integrates Lucene kuromoji analysis module into Elasticsearch |