| 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 |
| agdaPackages.cubical-mini | Nonstandard library for Cubical Agda |
| dnf4 | Package manager based on libdnf and libsolv. Replaces YUM |
| ciftilib | Library for reading and writing CIFTI files |
| apacheHttpdPackages.mod_csr | RedWax CA service module to handle Certificate Signing Requests |
| chickenPackages_5.chickenEggs.git | libgit2 bindings |
| chickenPackages_5.chickenEggs.digraph | Directed graph in adjacency list format. |
| aewan | Ascii-art Editor Without A Name |
| chickenPackages_5.chickenEggs.make | The PLT 'make' macro |
| chickenPackages_5.chickenEggs.imlib2 | Chicken bindings for the Imlib2 image library |
| chickenPackages_5.chickenEggs.graph-scc | Compute strongly-connected components (SCC) of a graph. |
| bfcal | Quickly display a calendar |
| chickenPackages_5.chickenEggs.futures | Concurrent evaluation of expressions |
| chickenPackages_5.chickenEggs.srfi-171 | SRFI-171: Transducers |
| cfn-nag | Linting tool for CloudFormation templates |
| chickenPackages_5.chickenEggs.spiffy-request-vars | Easy access to variables from HTTP requests |
| chickenPackages_5.chickenEggs.s9fes-char-graphics | Scheme 9 from Empty Space Char Graphics |
| beamMinimal28Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| chickenPackages_5.chickenEggs.cairo | Chicken bindings for Cairo, a vector graphics library |
| cbftp | Advanced multi-purpose FTP/FXP client |
| chickenPackages_5.chickenEggs.pyffi | An interface to the Python programming language. |
| chickenPackages_5.chickenEggs.scmfmt | Chicken Scheme code formattor to use from stdin/stdout |
| chickenPackages_5.chickenEggs.srfi-209 | SRFI 209: Enums and enum sets |
| chickenPackages_5.chickenEggs.rope | Heavyweight alternative to strings |
| djview | Portable DjVu viewer (Qt5) |
| bchunk | Program that converts CD images in BIN/CUE format into a set of ISO and CDR tracks |
| beam27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| chickenPackages_5.chickenEggs.stalin | An aggressively optimizing Scheme->C compiler |
| elasticsearchPlugins.analysis-kuromoji | Japanese (kuromoji) Analysis plugin integrates Lucene kuromoji analysis module into Elasticsearch |