| db | Berkeley DB |
| bucklespring | Nostalgia bucklespring keyboard sound |
| chickenPackages_5.chickenEggs.arcadedb | An ArcadeDB database driver for CHICKEN Scheme. |
| chickenPackages_5.chickenEggs.gnuplot-pipe | A simple interface to Gnuplot |
| chickenPackages_5.chickenEggs.traversal | Various list operations |
| catboost | High-performance library for gradient boosting on decision trees |
| db60 | Berkeley DB |
| cbonsai | Grow bonsai trees in your terminal |
| beamMinimal27Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| darwin.sigtool | Tool for working with embedded signatures in Mach-O files |
| dialogbox | Qt-based scriptable engine providing GUI dialog boxes |
| coqPackages.stdpp | Extended “Standard Library” for Coq |
| chickenPackages_5.egg2nix | Generate nix-expression from CHICKEN scheme eggs |
| chickenPackages_5.chickenEggs.srfi-69-weak | SRFI-69/90 hash-table library (w/ weak references) |
| debian-goodies | Small toolbox-style utilities for Debian systems |
| bucklespring-libinput | Nostalgia bucklespring keyboard sound |
| agdaPackages._1lab | Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory |
| bencodetools | Collection of tools for manipulating bencoded data |
| egg2nix | Generate nix-expression from CHICKEN scheme eggs |
| chickenPackages_5.chickenEggs.pwdb | A command-line-based password manager |
| apacheHttpdPackages.mod_mbtiles | Serve tiles with Apache directly from an .mbtiles file |
| box2d_2 | 2D physics engine |
| chickenPackages_5.chickenEggs.oauthtoothy | Oauth2 support for Schematra |
| chickenPackages_5.chickenEggs.awful-main | Turn awful web applications into static executables |
| ani-skip | Automated solution to bypassing anime opening and ending sequences |
| colm | Programming language for the analysis and transformation of computer languages |
| diodon | Aiming to be the best integrated clipboard manager for the Unity desktop |
| avogadro2 | Molecule editor and visualizer |
| blockdiag | Generate block-diagram image from spec-text file (similar to Graphviz) |
| bsdiff | Efficient binary diff/patch tool |
| chickenPackages_5.chickenEggs.filepath | Cross-platform file path manipulation. |
| chickenPackages_5.chickenEggs.hyde | A static website compiler |
| astro-language-server | Astro language server |
| collectd | Daemon which collects system performance statistics periodically |
| chickenPackages_5.chickenEggs.uuid | native chicken uuid library |
| chickenPackages_5.chickenEggs.awful-sqlite3 | Sqlite3 support for awful |
| chickenPackages_5.chickenEggs.protobuf | Protocol buffer serialization |
| chickenPackages_5.chickenEggs.sxml-modifications | The sxml-modification bits of sxml-tools from the SSAX project at Sourceforge |
| cgreen | Modern Unit Test and Mocking Framework for C and C++ |
| chickenPackages_5.chickenEggs.advice | 'advise' functionality |
| amule-gui | Peer-to-peer client for the eD2K and Kademlia networks |
| chickenPackages_5.chickenEggs.cluckcheck | A Chicken Scheme port of the QuickCheck unit test framework |
| apg | Tools for random password generation |
| aws-c-auth | C99 library implementation of AWS client-side authentication |
| beam27Packages.pc | Rebar3 port compiler for native code |
| apacheHttpdPackages.mod_crl | RedWax module for Certificate Revocation Lists |
| chickenPackages_5.chickenEggs.posix-shm | POSIX shared memory API |
| chickenPackages_5.chickenEggs.socket | Interface to the BSD socket API |
| boatswain | Control Elgato Stream Deck devices |
| clangbuildanalyzer | Tool for analyzing Clang's -ftime-trace files |
| coqPackages.multinomials | Coq/SSReflect Library for Monoidal Rings and Multinomials |
| chickenPackages_5.chickenEggs.nanosleep | Interface to POSIX nanosleep |
| calligraplan | Project Management Application |
| anki | Spaced repetition flashcard program |
| chickenPackages_5.chickenEggs.srfi-194 | Random data generators |
| arping | Broadcasts a who-has ARP packet on the network and prints answers |
| chickenPackages_5.chickenEggs.msgpack | MessagePack implementation for CHICKEN |
| eigenmath | Computer algebra system written in C |
| apacheHttpdPackages_2_4.mod_wsgi3 | Host Python applications in Apache through the WSGI interface |
| chickenPackages_5.chickenEggs.statistics | Statistics library |
| b2sum | BLAKE2 cryptographic hash function |
| dconf-editor | GSettings editor for GNOME |
| chickenPackages_5.chickenEggs.awful | awful provides an application and an extension to ease the development of web-based applications. |
| apacheHttpdPackages.mod_spkac | RedWax CA service module for handling the Netscape keygen requests |
| beam28Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| arachne-pnr | Place and route tool for FPGAs |
| diffuse | Graphical tool for merging and comparing text files |
| chickenPackages_5.chickenEggs.generalized-arrays | Provides generalized arrays, intervals, and storage classes for CHICKEN Scheme. |
| coqPackages.fcsl-pcm | Coq library of Partial Commutative Monoids |
| bzip3 | Better and stronger spiritual successor to BZip2 |
| chickenPackages_5.chickenEggs.simple-timer | Simple, cancel-able, efficient timer API |
| chickenPackages_5.chickenEggs.epoxy | Bindings to OpenGL and OpenGL ES through the Epoxy library |
| dolphin-emu-primehack | Gamecube/Wii/Triforce emulator for x86_64 and ARMv8 |
| chickenPackages_5.chickenEggs.endian-blob | Endian-specific procedures for converting blobs to numeric values and vectors. |
| coqPackages.json | From JSON to Coq, and vice versa |
| chickenPackages_5.chickenEggs.condition-utils | SRFI 12 Condition Utilities |
| coqPackages.mathcomp-infotheo | Coq formalization of information theory and linear error-correcting codes |
| conglomerate | More command-line utilities for working with MINC files |
| drake | Branch of Rake supporting automatic parallelizing of tasks |
| chickenPackages_5.chickenEggs.concurrent-native-callbacks | Invoke callbacks from other native threads |
| cie-middleware-linux | Middleware for the Italian Electronic Identity Card (CIE) |
| cwebbin | Literate Programming in C/C++ |
| chickenPackages_5.chickenEggs.medea | A JSON parser (and emitter) built with comparse |
| doing | Command line tool for keeping track of what you’re doing and tracking what you’ve done |
| chickenPackages_5.chickenEggs.spiffy-uri-match | uri-match integration for spiffy |
| chickenPackages_5.chickenEggs.toml | A Chicken binding to read TOML configuration files |
| coqPackages.QuickChick | Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck |
| cantata | Graphical client for MPD |
| beam28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| beamMinimal27Packages.erlfmt | Automated code formatter for Erlang |
| chickenPackages_5.chickenEggs.match-generics | matchable generics |
| chickenPackages_5.chickenEggs.srfi-135 | SRFI 135: Immutable Texts |
| chickenPackages_5.chickenEggs.hash-trie | hash-trie |
| chickenPackages_5.chickenEggs.srfi-121 | SRFI-121: Generators |
| dvdplusrwtools | Tools for mastering Blu-ray and DVD+-RW/+-R media |
| chickenPackages_5.chickenEggs.poule | Manage pools of worker processes |
| cubicle | Open source model checker for verifying safety properties of array-based systems |
| dq | Recursive DNS/DNSCurve server and comandline tool |
| bootterm | Simple, reliable and powerful terminal to ease connection to serial ports |
| chickenPackages_5.chickenEggs.utf8 | Unicode support |