| dupeguru | GUI tool to find duplicate files in a system |
| chickenPackages_5.chickenEggs.fancypants | Automatic ASCII smart quotes and ligature handling for SXML |
| charles | Web Debugging Proxy |
| chickenPackages_5.chickenEggs.http-client | High-level HTTP client library |
| barcode | GNU barcode generator |
| cbftp | Advanced multi-purpose FTP/FXP client |
| chickenPackages_5.chickenEggs.spiffy-cookies | Procedures for managing cookies |
| coqPackages.fcsl-pcm | Coq library of Partial Commutative Monoids |
| chickenPackages_5.chickenEggs.format | Common-Lisp style formatted output |
| chickenPackages_5.chickenEggs.breadcrumbs | Breadcrumbs for web pages |
| beamMinimal28Packages.erlfmt | Automated code formatter for Erlang |
| clutter | Library for creating fast, dynamic graphical user interfaces |
| deer | Ranger-like file navigation for zsh |
| chickenPackages_5.chickenEggs.irc | A simple IRC client |
| boundary | Enables identity-based access management for dynamic infrastructure |
| agdaPackages.functional-linear-algebra | Formalizing linear algebra in Agda by representing matrices as functions
from one vector space to another.
|
| chickenPackages_5.chickenEggs.sysexits | Exit status codes for system programs |
| chickenPackages_5.chickenEggs.srfi-130 | SRFI-130: Cursor-based string library |
| convmv | Converts filenames from one encoding to another |
| chickenPackages_5.chickenEggs.concurrent-native-callbacks | Invoke callbacks from other native threads |
| chickenPackages_5.chickenEggs.scsh-process | A reimplementation for CHICKEN of SCSH's process notation. |
| cutemaze | Simple, top-down game in which mazes are randomly generated |
| cloud-utils | Useful set of utilities for interacting with a cloud |
| berry | Healthy, bite-sized window manager |
| coqPackages.parsec | Library for serialization to S-expressions |
| chickenPackages_5.chickenEggs.srfi-60 | SRFI 60: Integers as bits |
| cryptoverif | Cryptographic protocol verifier in the computational model |
| abpoa | SIMD-based C library for fast partial order alignment using adaptive band |
| driversi686Linux.mesa | Open source 3D graphics library |
| chickenPackages_5.chickenEggs.gl-math | A small gamedev-oriented math library |
| chickenPackages_5.chickenEggs.srfi-179 | SRFI-179: Nonempty Intervals and Generalized Arrays (Updated) |
| chickenPackages_5.chickenEggs.pthreads | Maintain and talk to a pthread pool. |
| easel | Sequence analysis library used by Eddy/Rivas lab code |
| chickenPackages_5.chickenEggs.make | The PLT 'make' macro |
| cucumber | Tool for executable specifications |
| beneath-a-steel-sky | 2D point-and-click science fiction thriller set in a bleak vision of the future |
| aften | Audio encoder which generates compressed audio streams based on ATSC A/52 specification |
| elementsd | Open Source implementation of advanced blockchain features extending the Bitcoin protocol |
| blitz | Fast multi-dimensional array library for C++ |
| apacheKafka_3_9 | High-throughput distributed messaging system |
| asl | Portable macro cross assembler |
| crunch | Wordlist generator |
| chickenPackages_5.chickenEggs.server-test | Utilities to help testing servers |
| comical | Viewer of CBR and CBZ files, often used to store scanned comics |
| chickenPackages_5.chickenEggs.html-parser | A permissive, scalable HTML parser. |
| dconf | |
| darling-dmg | FUSE module for .dmg files (containing an HFS+ filesystem) |
| bitwuzla | SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions |
| apacheKafka_4_1 | High-throughput distributed messaging system |
| candle | GRBL controller application with G-Code visualizer written in Qt |
| chickenPackages_5.chickenEggs.xml-rpc | XML-RPC client/server |
| bork | TUI chat client tailored for livecoding on Twitch |
| chickenPackages_5.chickenEggs.generalized-arrays | Provides generalized arrays, intervals, and storage classes for CHICKEN Scheme. |
| clang-analyzer | Clang Static Analyzer |
| chickenPackages_5.chickenEggs.digraph | Directed graph in adjacency list format. |
| crictty | Terminal-based cricket scorecard viewer |
| coq_8_8 | Coq proof assistant |
| armadillo | C++ linear algebra library |
| chickenPackages_5.chickenEggs.bitstring | Binary pattern matching |
| chickenPackages_5.chickenEggs.simple-sha1 | A fast and simple SHA1 implementation with minimal dependencies |
| cudaPackages.saxpy | Simple (Single-precision AX Plus Y) FindCUDAToolkit.cmake example for testing cross-compilation |
| chickenPackages_5.chickenEggs.gmi | Gemtext reader and writer |
| chickenPackages_5.chickenEggs.chicken-doc-admin | Administer Chicken documentation locally |
| chickenPackages_5.chickenEggs.geo-utils | Geographic Utilities |
| awstats | Real-time logfile analyzer to get advanced statistics |
| chickenPackages_5.chickenEggs.lalr | An efficient LALR(1) parser generator |
| atkmm | C++ wrappers for ATK accessibility toolkit |
| cups | Standards-based printing system for UNIX |
| dbacl | |
| aws-checksums | HW accelerated CRC32c and CRC32 |
| colm | Programming language for the analysis and transformation of computer languages |
| ctx | Vector graphics terminal |
| chickenPackages_5.chickenEggs.modular-arithmetic | Modular Arithmetic on Finite Fields |
| coqPackages.iris | Coq development of the Iris Project |
| cddlib | Implementation of the Double Description Method for generating all vertices of a convex polyhedron |
| coqPackages.QuickChick | Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck |
| agdaPackages.cubical | Cubical type theory library for use with the Agda compiler |
| amule-web | Peer-to-peer client for the eD2K and Kademlia networks |
| brial | Legacy version of PolyBoRi maintained by sagemath developers |
| chickenPackages_5.chickenEggs.simple-timer | Simple, cancel-able, efficient timer API |
| chickenPackages_5.chickenEggs.stack | Provides LIFO queue (stack) operations |
| chickenPackages_5.chickenEggs.xdg-basedir | Implementation of the XDG Base Directory Specification |
| chickenPackages_5.chickenEggs.arrays | Functional arrays and sets |
| coqPackages.metarocq-translations | |
| chickenPackages_5.chickenEggs.opengl | OpenGL bindings |
| dislocker | Read BitLocker encrypted partitions in Linux |
| chickenPackages_5.chickenEggs.sundials | An interface to SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic equation Solvers). |
| chickenPackages_5.chickenEggs.srfi-189 | SRFI 189: Maybe and Either |
| basex | XML database and XPath/XQuery processor |
| crystfel | Data processing for serial crystallography |
| chickenPackages_5.chickenEggs.srfi-180 | A JSON parser and printer that supports JSON bigger than memory. |
| chickenPackages_5.chickenEggs.check-errors | Argument checks & errors |
| ansilove | ANSI and ASCII art to PNG converter in C |
| chickenPackages_5.chickenEggs.udp6 | Interface to UDP over IPv4 and IPv6 |
| debian-devscripts | Debian package maintenance scripts |
| chickenPackages_5.chickenEggs.statistics | Statistics library |
| chickenPackages_5.chickenEggs.pigeon-hole | A mailbox constrained by capacity. |
| coqPackages.interval | Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant |
| beam27Packages.rebar3-nix | nix integration for rebar3 |
| chickenPackages_5.chickenEggs.define-er-syntax | explicitly implicit renaming |