| packages/nixpkgs/crystfel-headless | Data processing for serial crystallography |
| packages/nixpkgs/chickenPackages_5.chickenEggs.lowdown | A pure Chicken Markdown parser |
| packages/nixpkgs/cvc5 | High-performance theorem prover and SMT solver |
| packages/nixpkgs/chickenPackages_5.chickenEggs.aes | A self-contained implementation of the AES / Rijndael encryption algorithm |
| packages/nixpkgs/chickenPackages_5.chickenEggs.futures | Concurrent evaluation of expressions |
| packages/nixpkgs/eigen | C++ template library for linear algebra: vectors, matrices, and related algorithms |
| packages/nixpkgs/cddiscid | Command-line utility to get CDDB discid information from a CD-ROM disc |
| packages/nixpkgs/elvis-erlang | Erlang Style Reviewer |
| packages/nixpkgs/agdaPackages.standard-library | Standard library for use with the Agda compiler |
| packages/nixpkgs/coqPackages.metarocq-erasure | |
| packages/nixpkgs/edlin | FreeDOS line editor |
| packages/nixpkgs/dfu-programmer | Device Firmware Update based USB programmer for Atmel chips with a USB bootloader |
| packages/nixpkgs/chickenPackages_5.chickenEggs.nanograd | Minimalistic automatic differentiation framework. |
| packages/nixpkgs/coqPackages.mathcomp-character | |
| packages/nixpkgs/chickenPackages_5.chickenEggs.json-utils | JSON Utilities |
| packages/nixpkgs/coal | Collision Detection Library, previously hpp-fcl |
| packages/nixpkgs/base91 | CLI tool for encoding binary data as ASCII characters |
| packages/nixpkgs/coqPackages.metarocq-template-pcuic | |
| packages/nixpkgs/dpp | Discord C++ Library |
| packages/nixpkgs/bamtools | C++ API & command-line toolkit for working with BAM data |
| packages/nixpkgs/chickenPackages_5.chickenEggs.kd-tree | K-D tree spatial indexing structure. |
| packages/nixpkgs/aws-c-common | AWS SDK for C common core |
| packages/nixpkgs/blisp | In-System-Programming (ISP) tool & library for Bouffalo Labs RISC-V Microcontrollers and SoCs |
| packages/nixpkgs/beamMinimal27Packages.lfe | Best of Erlang and of Lisp; at the same time |
| packages/nixpkgs/c-stdaux | Auxiliary macros and functions for the C standard library |
| packages/nixpkgs/cli11 | Command line parser for C++11 |
| packages/nixpkgs/chickenPackages_5.chickenEggs.egg-tarballs | Creates tarballs for eggs in henrietta cache |
| packages/nixpkgs/axel | Console downloading program with some features for parallel connections for faster downloading |
| packages/nixpkgs/dreamweb | 2D point-and-click cyberpunk top-down adventure game |
| packages/nixpkgs/coq_8_20 | Coq proof assistant |
| packages/nixpkgs/cln | C/C++ library for numbers, a part of GiNaC |
| packages/nixpkgs/completely | Generate bash completion scripts using a simple configuration file |
| packages/nixpkgs/cmdstan | Command-line interface to Stan |
| packages/nixpkgs/dieharder | Random Number Generator test suite |
| packages/nixpkgs/chickenPackages_5.chickenEggs.monad | Monads |
| packages/nixpkgs/apacheHttpdPackages.mod_jk | Provides web server plugins to connect web servers with Tomcat |
| packages/nixpkgs/coq_8_11 | Coq proof assistant |
| packages/nixpkgs/cdogs-sdl | Open source classic overhead run-and-gun game |
| packages/nixpkgs/antsimulator | Simple Ants simulator |
| packages/nixpkgs/chickenPackages_5.chickenEggs.bitwise-utils | Bitwise utilities |
| packages/nixpkgs/bitmap | X bitmap (XBM) editor and converter utilities |
| packages/nixpkgs/blaze | High performance C++ math library |
| packages/nixpkgs/antlr4_12 | Powerful parser generator |
| packages/nixpkgs/asciidoc | Text-based document generation system |
| packages/nixpkgs/argo-workflows | Container native workflow engine for Kubernetes |
| packages/nixpkgs/coq | Coq proof assistant |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-259 | Tagged procedures with type safety (with SRFI-229 compatability) |
| packages/nixpkgs/aiger | And-Inverter Graph (AIG) utilities |
| packages/nixpkgs/coq_8_18 | Coq proof assistant |
| packages/nixpkgs/chickenPackages_5.chickenEggs.uri-generic | URI generic syntax (RFC 3986) parsing and manipulation. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.loop | The Common Lisp LOOP macro |
| packages/nixpkgs/chickenPackages_5.chickenEggs.traversal | Various list operations |
| packages/nixpkgs/bioawk | BWK awk modified for biological data |
| packages/nixpkgs/aws-c-auth | C99 library implementation of AWS client-side authentication |
| packages/nixpkgs/chickenPackages_5.chickenEggs.posix-utils | posix-utils |
| packages/nixpkgs/chickenPackages_5.chickenEggs.magic-pipes | Unix shell pipeline tools for working with s-expressions |
| packages/nixpkgs/chickenPackages_5.chickenEggs.fix-me-now | Make tweaks and changes to sexp trees |
| packages/nixpkgs/chickenPackages_5.chickenEggs.sql-null | A convenience extension for representing SQL NULL values |
| packages/nixpkgs/chickenPackages_5.chickenEggs.foreigners | Foreign helper macros |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-214 | SRFI 241: Flexvectors |
| packages/nixpkgs/egg2nix | Generate nix-expression from CHICKEN scheme eggs |
| packages/nixpkgs/chickenPackages_5.chickenEggs.soil | Lightweight, simple library for loading image files into OpenGL-friendly format. |
| packages/nixpkgs/ceptre | Linear logic programming language for modeling generative interactive systems |
| packages/nixpkgs/coqPackages.mathcomp-solvable | |
| packages/nixpkgs/coqPackages.mathcomp-fingroup | |
| packages/nixpkgs/dico | Flexible dictionary server and client implementing RFC 2229 |
| packages/nixpkgs/boxes | Command line program which draws, removes, and repairs ASCII art boxes |
| packages/nixpkgs/chickenPackages_5.chickenEggs.cis | Compact integer sets. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.svnwiki2html | A program to convert svnwiki syntax to HTML |
| packages/nixpkgs/dwl | Dynamic window manager for Wayland |
| packages/nixpkgs/aspectj | Seamless aspect-oriented extension to the Java programming language |
| packages/nixpkgs/blueprint-compiler | Markup language for GTK user interface files |
| packages/nixpkgs/chickenPackages_5.chickenEggs.zlib | Bindings for zlib |
| packages/nixpkgs/amule-daemon | Peer-to-peer client for the eD2K and Kademlia networks |
| packages/nixpkgs/chickenPackages_5.chickenEggs.ezxdisp | A simple 2D and 3D graphics library for X11 |
| packages/nixpkgs/clustal-omega | General purpose multiple sequence alignment program for protein and DNA/RNA |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-143 | SRFI 143: Fixnums |
| packages/nixpkgs/chickenPackages_5.chickenEggs.svn-client | A wrapper around Subversion's libsvn_client C library. |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_16 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/a52dec | ATSC A/52 stream decoder |
| packages/nixpkgs/autorandr | Automatically select a display configuration based on connected devices |
| packages/nixpkgs/cunit | Unit Testing Framework for C |
| packages/nixpkgs/benhsm-minesweeper | Simple terminal-based implementation of Minesweeper |
| packages/nixpkgs/apksigner | Command line tool to sign and verify Android APKs |
| packages/nixpkgs/afflib | Advanced forensic format library |
| packages/nixpkgs/attemptoClex | Large lexicon for APE (~100,000 entries) |
| packages/nixpkgs/chickenPackages_5.chickenEggs.sq | Scheme jq wrapper for processing S-expressions |
| packages/nixpkgs/cddlc | CDDL conversion utilities |
| packages/nixpkgs/chickenPackages_5.chickenEggs.messages | Creating algebraic- and abstract-types based on vectors |
| packages/nixpkgs/beamMinimal27Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/apfel | PDF Evolution Library |
| packages/nixpkgs/cppcheck | Static analysis tool for C/C++ code |
| packages/nixpkgs/chickenPackages_5.chickenEggs.patch | Simple source patch utility |
| packages/nixpkgs/chickenPackages_5.chickenEggs.pathname-expand | |
| packages/nixpkgs/chickenPackages_5.chickenEggs.transducers | Transducers for working with foldable data types. |
| packages/nixpkgs/coqPackages.mathcomp-analysis | Analysis library compatible with Mathematical Components |
| packages/nixpkgs/chickenPackages_5.chickenEggs.r7rs | R7RS compatibility |
| packages/nixpkgs/beam28Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/antlr2 | Powerful parser generator |
| packages/nixpkgs/chickenPackages_5.chickenEggs.rss | A RSS parser |