| 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 |
| darwin.sigtool | Tool for working with embedded signatures in Mach-O files |
| 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 |
| asio_1_36_0 | Cross-platform C++ library for network and low-level I/O programming |
| 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 |
| commons-math | Library of lightweight, self-contained mathematics and statistics components |
| dovecot | Open source IMAP and POP3 email server written with security primarily in mind |
| chickenPackages_5.chickenEggs.canvas-draw | Bindings to the CD graphics library |
| aws-c-cal | AWS Crypto Abstraction Layer |
| beamMinimal28Packages.ex_doc | ExDoc produces HTML and EPUB documentation for Elixir projects
|
| chickenPackages_5.chickenEggs.chalk | Simple hahn-style in-source documentation |
| coq_8_9 | Coq proof assistant |
| chickenPackages_5.chickenEggs.ssax | Oleg Kiselyov's XML parser |
| coqPackages.equations | Plugin for Coq to add dependent pattern-matching |
| djview | Portable DjVu viewer (Qt5) |
| chickenPackages_5.chickenEggs.hmac | HMAC provides a HMAC using the message-digest interface. |
| ats2 | Functional programming language with dependent types |
| balsa | E-mail client for GNOME |
| abc-verifier | Tool for sequential logic synthesis and formal verification |
| aespipe | AES encrypting or decrypting pipe |
| cppe | C++ and Python library for Polarizable Embedding |
| chickenPackages_5.chickenEggs.simple-md5 | Computes MD5 (RFC1321) checksums |
| chickenPackages_5.chickenEggs.args | Command-line argument handling, on top of SRFI 37 |
| chickenPackages_5.chickenEggs.directory-utils | directory-utils |
| chickenPackages_5.chickenEggs.awful | awful provides an application and an extension to ease the development of web-based applications. |
| chickenPackages_5.chickenEggs.srfi-99 | SRFI-99 record types |
| beam28Packages.elixir-ls | A frontend-independent IDE "smartness" server for Elixir.
Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"
|
| edlib | Lightweight, fast C/C++ library for sequence alignment using edit distance |
| chickenPackages_5.chickenEggs.define-options | Conveniently bind to getopt-long options |
| chickenPackages_5.chickenEggs.mailbox | Thread-safe queues with timeout |
| chickenPackages_5.chickenEggs.ephem | A wrapper for libnova a 'general purpose, double precision, Celestial Mechanics, Astrometry and Astrodynamics library.' |
| beam27Packages.elixir-ls | A frontend-independent IDE "smartness" server for Elixir.
Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"
|
| chickenPackages_5.chickenEggs.srfi-145 | SRFI 145: Assumptions |
| chickenPackages_5.chickenEggs.crypto-tools | Useful cryptographic primitives |
| chickenPackages_5.chickenEggs.introspect | Module introspection |
| dynamic-colors | Change terminal colors on the fly |