| coq_8_17 | Coq proof assistant |
| beamMinimal28Packages.livebook | Automate code & data workflows with interactive Elixir notebooks |
| abcmidi | Utilities for converting between abc and MIDI |
| chickenPackages_5.chickenEggs.expat | An interface to James Clark's Expat XML parser |
| aprutil | Companion library to APR, the Apache Portable Runtime |
| coqPackages.deriving | Generic instances of MathComp classes |
| countryguess | Guess the 193 U.N. recognised countries |
| apacheHttpdPackages_2_4.mod_scep | RedWax CA service modules for SCEP (Automatic ceritifcate issue/renewal) |
| coqPackages.aac-tactics | Coq plugin providing tactics for rewriting universally quantified equations |
| boost-build | |
| chickenPackages_5.chickenEggs.agrep | Approximate grep.. |
| chickenPackages_5.chickenEggs.fcp | Very basic interface to freenet FCP |
| chickenPackages_5.chickenEggs.magic | libmagic bindings |
| apacheHttpdPackages.mod_perl | Integration of perl with the Apache2 web server |
| debian-goodies | Small toolbox-style utilities for Debian systems |
| dia | Gnome Diagram drawing software |
| chickenPackages_5.chickenEggs.phosphate | Parser combinators with error recovery using call/cc |
| chickenPackages_5.chickenEggs.semantic-version | Semantic Version Utilities |
| c-siphash | Streaming-capable SipHash Implementation |
| apacheHttpdPackages_2_4.mod_pkcs12 | RedWax CA service modules for PKCS#12 format files |
| coqPackages.libvalidsdp | ValidSDP |
| chickenPackages_5.chickenEggs.edn | EDN data reader/writer. |
| chickenPackages_5.chickenEggs.stalin | An aggressively optimizing Scheme->C compiler |
| colorized-logs | Tools for logs with ANSI color |
| chickenPackages_5.chickenEggs.math | Chicken port of Racket's math library |
| coq_8_19 | Coq proof assistant |
| chickenPackages_5.chickenEggs.oauth | OAuth 1.0, 1.0a, RFC 5849 |
| chickenPackages_5.chickenEggs.thread-utils | Thread Utilities |
| agdaPackages.cubical-mini | Nonstandard library for Cubical Agda |
| chickenPackages_5.chickenEggs.siphash | The SipHash family of hash functions |
| cxxtest | Unit testing framework for C++ |
| chickenPackages_5.chickenEggs.gochan | golang channels in CHICKEN |
| cadical_2 | Simplified Satisfiability Solver |
| chickenPackages_5.chickenEggs.cmark | A chicken wrapper for cmark with markdown to sxml capabilities |
| bsdiff | Efficient binary diff/patch tool |
| chickenPackages_5.chickenEggs.box | Boxing |
| antlr4 | Powerful parser generator |
| arrow-glib | GLib bindings for Apache Arrow |
| chickenPackages_5.chickenEggs.isaac | Bindings to the ISAAC CSPRNG |
| chickenPackages_5.chickenEggs.srfi-47 | SRFI-47: Arrays |
| _9base | Port of various original Plan 9 tools for Unix, based on plan9port |
| chickenPackages_5.chickenEggs.slib-charplot | The SLIB character plotting library |
| ausaxs | Small-angle X-ray scattering framework |
| chickenPackages_5.chickenEggs.srfi-160 | SRFI 160: Homogeneous numeric vector libraries |
| cling | Interactive C++ Interpreter |
| ciao | General purpose, multi-paradigm programming language in the Prolog family |
| apacheHttpdPackages.mod_csr | RedWax CA service module to handle Certificate Signing Requests |
| dumpifs | Tool for those who are interested in hacking MIB2 firmware |
| chickenPackages_5.chickenEggs.srfi-232 | SRFI 232: Flexible curried procedures |
| chickenPackages_5.chickenEggs.states | Simple Finite State Machine library |
| chickenPackages_5.chickenEggs.slib-arraymap | The SLIB applicative routines for the arrays library |
| chickenPackages_5.chickenEggs.markdown-svnwiki | Convert Markdown to svnwiki |
| apacheHttpdPackages_2_4.mod_python | Apache module that embeds the Python interpreter within the server |
| coccinelle | Program to apply semantic patches to C code |
| cryptominisat | Advanced SAT Solver |
| asciidoc-full | Text-based document generation system |
| chickenPackages_5.chickenEggs.multipart-form-data | Reads & decodes HTTP multipart/form-data requests. |
| chickenPackages_5.chickenEggs.debugger-protocol | Low-level interface to debugger-protocol |
| chickenPackages_5.chickenEggs.awful-path-matchers | Path matchers for awful |
| chickenPackages_5.chickenEggs.inotify | Bindings to inotify |
| arachne-pnr | Place and route tool for FPGAs |
| chickenPackages_5.chickenEggs.coops-utils | coops utilities |
| dbus | Simple interprocess messaging system |
| elements | Open Source implementation of advanced blockchain features extending the Bitcoin protocol |
| ctags | Tool for fast source code browsing (exuberant ctags) |
| chickenPackages_5.chickenEggs.abnf | Parser combinators for Augmented BNF grammars (RFC 4234). |
| chickenPackages_5.chickenEggs.awful-sql-de-lite | sql-de-lite support for awful |
| dydisnix | Toolset enabling self-adaptive redeployment on top of Disnix |
| chickenPackages_5.chickenEggs.checks | easy to use procondition and postcondition checks of procedures |
| cassandra_4 | Massively scalable open source NoSQL database |
| chickenPackages_5.chickenEggs.srfi-69-weak | SRFI-69/90 hash-table library (w/ weak references) |
| chickenPackages_5.chickenEggs.beaker | Lab supplies for CHICKEN development |
| chickenPackages_5.chickenEggs.callable-sequences | Common functional interface to sequential- and random-access sequences |
| coqPackages.mathcomp-field | |
| as31 | 8031/8051 assembler |
| diffpdf | Tool for diffing pdf files visually or textually |
| coqPackages.ssreflect | |
| ameba-ls | Crystal language server powered by Ameba linter |
| chickenPackages_5.chickenEggs.trie | A trie (prefix tree) implementation |
| beamMinimal27Packages.rebar3-nix | nix integration for rebar3 |
| cataclysm-dda-git | Free, post apocalyptic, zombie infested rogue-like |
| beam28Packages.ex_doc | ExDoc produces HTML and EPUB documentation for Elixir projects
|
| beam28Packages.pc | Rebar3 port compiler for native code |
| chickenPackages_5.chickenEggs.srfi-71 | SRFI-71: Extended LET-syntax for multiple values |
| chickenPackages_5.chickenEggs.chiccup | Chiccup - HTML generation using sxml-transforms |
| blogc | Blog compiler |
| ed | GNU implementation of the standard Unix editor |
| ecl_16_1_2 | Lisp implementation aiming to be small, fast and easy to embed |
| bsync | Bidirectional Synchronization using Rsync |
| clutter-gst | GStreamer bindings for clutter |
| bashly | Bash command line framework and CLI generator |
| chickenPackages_5.chickenEggs.stty | stty-style interface to termios |
| compactor | Tools to capture DNS traffic and record it in C-DNS files |
| babl | Image pixel format conversion library |
| diffutils | Commands for showing the differences between files (diff, cmp, etc.) |
| bindfs | FUSE filesystem for mounting a directory to another location |
| chickenPackages_5.chickenEggs.schematra-csrf | schematra-csrf - Schematra middleware to add CSRF |
| dawncut | Tool to generate a 3D scene data clipped with an arbitrary plane |
| chickenPackages_5.chickenEggs.quasiwalk | A tree map that respects quote, quasiquote, and unquote |
| chickenPackages_5.chickenEggs.salmonella-feeds | A tool to generate atom feeds out of salmonella log files |