| cln | C/C++ library for numbers, a part of GiNaC |
| cpulimit | CPU usage limiter |
| dgen-sdl | Sega Genesis/Mega Drive emulator |
| chickenPackages_5.chickenEggs.byte-blob | Byte array utility procedures for blobs. |
| btcdeb | Bitcoin Script Debugger |
| beamMinimal27Packages.rebar3-nix | nix integration for rebar3 |
| chickenPackages_5.chickenEggs.format | Common-Lisp style formatted output |
| afuse | Automounter in userspace |
| crossguid | Lightweight cross platform C++ GUID/UUID library |
| chickenPackages_5.chickenEggs.rocksdb | Bindings to Facebooks's RocksDB Key-Value Store |
| beam27Packages.erlfmt | Automated code formatter for Erlang |
| dbus | Simple interprocess messaging system |
| dns2tcp | Tool for relaying TCP connections over DNS |
| asciiquarium | Enjoy the mysteries of the sea from the safety of your own terminal |
| beam26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| bino3d | Video player with a focus on 3D and Virtual Reality |
| blucontrol | Configurable blue light filter |
| chickenPackages_5.chickenEggs.stack | Provides LIFO queue (stack) operations |
| choparp | Proxy ARP daemon |
| chickenPackages_5.chickenEggs.srfi-34 | SRFI-34: Exception Handling for Programs |
| coq_8_8 | Coq proof assistant |
| beamMinimal28Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| cambrinary | Cambridge dictionary in a terminal |
| echidna | Ethereum smart contract fuzzer |
| chickenPackages_5.chickenEggs.uri-generic | URI generic syntax (RFC 3986) parsing and manipulation. |
| chickenPackages_5.chickenEggs.gl-type | Freetype font rendering in OpenGL |
| chickenPackages_5.chickenEggs.levenshtein | Levenshtein edit distance |
| atomicparsley | CLI program for reading, parsing and setting metadata into MPEG-4 files |
| elasticsearchPlugins.discovery-ec2 | EC2 discovery plugin uses the AWS API for unicast discovery |
| coqPackages.mathcomp-experimental-reals | Analysis library compatible with Mathematical Components |
| chickenPackages_5.chickenEggs.amqp | AMPQ |
| coqPackages.mathcomp-solvable | |
| atkmm_2_36 | C++ wrappers for ATK accessibility toolkit |
| btor2tools | Generic parser and tool package for the BTOR2 format |
| bochs | Open-source IA-32 (x86) PC emulator |
| chickenPackages_5.chickenEggs.json-utils | JSON Utilities |
| chickenPackages_5.chickenEggs.crc | Computes CRC checksum |
| chickenPackages_5.chickenEggs.srfi-214 | SRFI 241: Flexvectors |
| btrbk | Backup tool for btrfs subvolumes |
| chickenPackages_5.chickenEggs.termbox | Minimal text based user interfaces. Bindings for nsf/termbox |
| clifm | CLI-based, shell-like, and non-curses terminal file manager |
| bitwuzla | SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions |
| coqPackages.flocq | Floating-point formalization for the Coq system |
| blugon | Simple and configurable Blue Light Filter for X |
| chickenPackages_5.chickenEggs.comparse | Schemely parser combinators |
| em | Editor for Mortals |
| dsview | GUI program for supporting various instruments from DreamSourceLab, including logic analyzer, oscilloscope, etc |
| basex | XML database and XPath/XQuery processor |
| cliquer | Routines for clique searching |
| chickenPackages_5.chickenEggs.csv-abnf | Parsing and formatting of comma-separated values (CSV). |
| dyndnsc | Dynamic DNS update client with support for multiple protocols |
| calibre-no-speech | Comprehensive e-book software |
| curl-impersonate | Special build of curl that can impersonate Chrome, Edge, Safari and Firefox |
| chickenPackages_5.chickenEggs.bind | Automatically generate bindings from C/C++ declarations |
| aws-c-sdkutils | AWS SDK utility library |
| chickenPackages_5.chickenEggs.nanomsg | |
| chez-racket | Fork of Chez Scheme for Racket |
| cppcheck | Static analysis tool for C/C++ code |
| chickenPackages_5.chickenEggs.r6rs-bytevectors | An implementation of r6rs bytevectors |
| elmerfem | Finite element software for multiphysical problems |
| boohu | New coffee-break roguelike game |
| dolfinx | Computational environment of FEniCSx and implements the FEniCS Problem Solving Environment in C++ and Python |
| actdiag | Generate activity-diagram image from spec-text file (similar to Graphviz) |
| cairomm_1_16 | C++ bindings for the Cairo vector graphics library |
| abcmidi | Utilities for converting between abc and MIDI |
| bdftopcf | Converts X font from Bitmap Distribution Format to Portable Compiled Format |
| chickenPackages_5.chickenEggs.egg-tarballs | Creates tarballs for eggs in henrietta cache |
| chickenPackages_5.chickenEggs.sxpath | The sxpath bits of sxml-tools from the SSAX project at Sourceforge |
| chickenPackages_5.chickenEggs.big-chicken | Wrapper module for all core modules |
| alpine-make-vm-image | Make customized Alpine Linux disk image for virtual machines |
| cosmic-wallpapers | Wallpapers for the COSMIC Desktop Environment |
| baobab | Graphical application to analyse disk usage in any GNOME environment |
| dmtx-utils | Data matrix command-line utilities |
| boxfs | FUSE file system for box.com accounts |
| coqPackages.mathcomp-field | |
| coqPackages.validsdp | ValidSDP |
| cudaPackages.saxpy | Simple (Single-precision AX Plus Y) FindCUDAToolkit.cmake example for testing cross-compilation |
| beam26Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| dig | Domain name server |
| briss | Java application for cropping PDF files |
| coqPackages.MenhirLib | Support library for verified Coq parsers produced by Menhir |
| chickenPackages_5.chickenEggs.xj | Unix filter that turns XML into JSON |
| coqPackages.mathcomp-real-closed | Mathematical Components Library on real closed fields |
| bitcoin | Peer-to-peer electronic cash system |
| chickenPackages_5.chickenEggs.srfi-130 | SRFI-130: Cursor-based string library |
| _4th | Portable Forth compiler |
| audiofile | Library for reading and writing audio files in various formats |
| ccache | Compiler cache for fast recompilation of C/C++ code |
| antlr4_12 | Powerful parser generator |
| chickenPackages_5.chickenEggs.lazy-ffi | A foreign function interface for lazy programmers |
| cairomm | C++ bindings for the Cairo vector graphics library |
| chickenPackages_5.chickenEggs.tiny-prolog | Tiny PROLOG interpreter. |
| chickenPackages_5.chickenEggs.mosquitto | Bindings to mosquitto MQTT client library |
| age-plugin-se | Age plugin for Apple's Secure Enclave |
| antlr4_11 | Powerful parser generator |
| adios2 | Adaptable Input/Output System version 2 |
| coqPackages.metarocq-safechecker | |
| chickenPackages_5.chickenEggs.cst | Visualize sexps as trees via Graphviz |
| code-maat | Command line tool to mine and analyze data from version-control systems |
| chocolate-doom | Doom source port that accurately reproduces the experience of Doom as it was played in the 1990s |