| chickenPackages_5.chickenEggs.srfi-144 | SRFI 144: Flonums |
| beam26Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| bind | Domain name server |
| clipper | Polygon and line clipping and offsetting library (C++, C#, Delphi) |
| clucene-core | Core library for full-featured text search engine |
| chickenPackages_5.chickenEggs.address-info | Network address information access |
| SDL2_mixer | SDL multi-channel audio mixer library |
| box2d | 2D physics engine |
| chickenPackages_5.chickenEggs.srfi-94 | SRFI 94: Type-Restricted Numerical Functions |
| curlftpfs | Filesystem for accessing FTP hosts based on FUSE and libcurl |
| c3d | Medical imaging processing tool |
| diffoscopeMinimal | Perform in-depth comparison of files, archives, and directories |
| apacheHttpdPackages.mod_spkac | RedWax CA service module for handling the Netscape keygen requests |
| bunster | Compile shell scripts to static binaries |
| aragorn | Detects tRNA, mtRNA, and tmRNA genes in nucleotide sequences |
| beamMinimal27Packages.ex_doc | ExDoc produces HTML and EPUB documentation for Elixir projects
|
| chickenPackages_5.chickenEggs.list-utils | list-utils |
| cdktf-cli | CDK for Terraform CLI |
| coqPackages.LibHyps | Hypotheses manipulation library |
| coqPackages.paco | Coq library implementing parameterized coinduction |
| apache-answer | Q&A platform software for teams at any scales |
| chickenPackages_5.chickenEggs.stfl | Bindings to the STFL curses widget library |
| bear | Tool that generates a compilation database for clang tooling |
| anarch | Suckless FPS game |
| carddav-util | CardDAV import/export utility |
| chickenPackages_5.egg2nix | Generate nix-expression from CHICKEN scheme eggs |
| dvtm-unstable | Dynamic virtual terminal manager |
| chickenPackages_5.chickenEggs.synch | Synchronization Forms |
| chmlib | Library for dealing with Microsoft ITSS/CHM format files |
| dnscrypt-proxy | Tool that provides secure DNS resolution |
| aws-c-http | C99 implementation of the HTTP/1.1 and HTTP/2 specifications |
| chickenPackages_5.chickenEggs.dust | Fetch and install CHICKEN versions |
| chickenPackages_5.chickenEggs.rlimit | Setting resource limits |
| confluent-cli | Confluent CLI |
| echidna | Ethereum smart contract fuzzer |
| bedtools | Powerful toolset for genome arithmetic |
| check-sieve | Syntax checker for mail sieves |
| coqPackages.multinomials | Coq/SSReflect Library for Monoidal Rings and Multinomials |
| chipmunk | Fast and lightweight 2D game physics library |
| cantata | Graphical client for MPD |
| chickenPackages_5.chickenEggs.r7rs-tools | "Pure" r7rs compiler and interpreter |
| chickenPackages_5.chickenEggs.nanosleep | Interface to POSIX nanosleep |
| auctex | Extensible package for writing and formatting TeX files in GNU Emacs and XEmacs |
| chickenPackages_5.chickenEggs.md2 | Message Digest 2 algorithm as defined in RFC1319 |
| cm256cc | Fast GF(256) Cauchy MDS Block Erasure Codec in C++ |
| chickenPackages_5.chickenEggs.srfi-253 | SRFI 253: Data (Type-)Checking |
| chruby | Changes the current Ruby |
| asciidoctor-with-extensions | Faster Asciidoc processor written in Ruby, with many extensions enabled |
| apacheHttpdPackages_2_4.mod_ca | RedWax CA service module |
| criterion | Cross-platform C and C++ unit testing framework for the 21th century |
| cairomm | C++ bindings for the Cairo vector graphics library |
| calculix-ccx | Three-dimensional structural finite element program |
| cie-middleware-linux | Middleware for the Italian Electronic Identity Card (CIE) |
| chickenPackages_5.chickenEggs.salmonella-html-report | A tool to generate HTML ouput out of salmonella log files |
| chickenPackages_5.chickenEggs.sdl2 | Bindings to Simple DirectMedia Layer 2 (SDL2) |
| bluesky-pdsadmin | Admin scripts for Bluesky Personal Data Server (PDS) |
| chickenPackages_5.chickenEggs.srfi-34 | SRFI-34: Exception Handling for Programs |
| binutils-unwrapped_2_38 | Tools for manipulating binaries (linker, assembler, etc.) |
| colloid-icon-theme | Colloid icon theme |
| cubicsdr | Software Defined Radio application |
| agdaPackages.agda2hs-base | Standard library for compiling Agda code to readable Haskell |
| asdf_3_1 | Standard software-system definition library for Common Lisp |
| chromium-bsu | Fast paced, arcade-style, top-scrolling space shooter |
| abuse | Side-scroller action game that pits you against ruthless alien killers |
| apacheHttpdPackages_2_4.mod_timestamp | RedWax CA service module for issuing signed timestamps |
| chocolate-doom | Doom source port that accurately reproduces the experience of Doom as it was played in the 1990s |
| cryfs | Cryptographic filesystem for the cloud |
| btor2tools | Generic parser and tool package for the BTOR2 format |
| deark | Utility for file format and metadata analysis, data extraction, decompression, and image format decoding |
| chickenPackages_5.chickenEggs.tabular | Parsing and formatting of tabular text data such as comma- and delimiter-separated values (CSV and DSV). |
| bstring | Better String Library for C |
| chickenPackages_5.chickenEggs.crc | Computes CRC checksum |
| beamMinimal28Packages.rebar3-nix | nix integration for rebar3 |
| chickenPackages_5.chickenEggs.breadline | Bindings to readline |
| blink-qt | Blink SIP Client |
| cegui | C++ Library for creating GUIs |
| contour | Modern C++ Terminal Emulator |
| apacheHttpdPackages.mod_ocsp | RedWax CA service modules of OCSP Online Certificate Validation |
| chickenPackages_5.chickenEggs.typed-records | Typed variants of various record-definition macros |
| cherrytree | Hierarchical note taking application |
| chickenPackages_5.chickenEggs.test-generative | Allows quickcheck like testing for pure code with the test egg |
| concord | Discord API wrapper library made in C |
| byacc | Berkeley YACC |
| chickenPackages_5.chickenEggs.web-colors | Parse and write HTML/CSS color strings |
| coq_8_14 | Coq proof assistant |
| beam26Packages.rebar3-proper | rebar3 proper plugin |
| direvent | Directory event monitoring daemon |
| chez-racket | Fork of Chez Scheme for Racket |
| coqPackages.simple-io | Purely functional IO for Coq |
| dar | Disk ARchiver, allows backing up files into indexed archives |
| ecdsautils | Tiny collection of programs used for ECDSA (keygen, sign, verify) |
| beam26Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| chickenPackages_5.chickenEggs.srfi-171 | SRFI-171: Transducers |
| coqPackages.StructTact | |
| db | Berkeley DB |
| ddd | Graphical front-end for command-line debuggers |
| chickenPackages_5.chickenEggs.advice | 'advise' functionality |
| chickenPackages_5.chickenEggs.locale | Provides locale operations |
| chickenPackages_5.chickenEggs.autocompile | Automatically compile Scheme scripts on demand |
| chickenPackages_5.chickenEggs.dataframe | Tabular data structure for data analysis |