| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-179 | SRFI-179: Nonempty Intervals and Generalized Arrays (Updated) |
| packages/nixpkgs/chickenPackages_5.chickenEggs.pthreads | Maintain and talk to a pthread pool. |
| packages/nixpkgs/easel | Sequence analysis library used by Eddy/Rivas lab code |
| packages/nixpkgs/chickenPackages_5.chickenEggs.make | The PLT 'make' macro |
| packages/nixpkgs/cucumber | Tool for executable specifications |
| packages/nixpkgs/beneath-a-steel-sky | 2D point-and-click science fiction thriller set in a bleak vision of the future |
| packages/nixpkgs/aften | Audio encoder which generates compressed audio streams based on ATSC A/52 specification |
| packages/nixpkgs/elementsd | Open Source implementation of advanced blockchain features extending the Bitcoin protocol |
| packages/nixpkgs/blitz | Fast multi-dimensional array library for C++ |
| packages/nixpkgs/apacheKafka_3_9 | High-throughput distributed messaging system |
| packages/nixpkgs/asl | Portable macro cross assembler |
| packages/nixpkgs/crunch | Wordlist generator |
| packages/nixpkgs/chickenPackages_5.chickenEggs.server-test | Utilities to help testing servers |
| packages/nixpkgs/comical | Viewer of CBR and CBZ files, often used to store scanned comics |
| packages/nixpkgs/chickenPackages_5.chickenEggs.html-parser | A permissive, scalable HTML parser. |
| packages/nixpkgs/dconf | |
| packages/nixpkgs/darling-dmg | FUSE module for .dmg files (containing an HFS+ filesystem) |
| packages/nixpkgs/bitwuzla | SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions |
| packages/nixpkgs/apacheKafka_4_1 | High-throughput distributed messaging system |
| packages/nixpkgs/candle | GRBL controller application with G-Code visualizer written in Qt |
| packages/nixpkgs/chickenPackages_5.chickenEggs.xml-rpc | XML-RPC client/server |
| packages/nixpkgs/bork | TUI chat client tailored for livecoding on Twitch |
| packages/nixpkgs/chickenPackages_5.chickenEggs.generalized-arrays | Provides generalized arrays, intervals, and storage classes for CHICKEN Scheme. |
| packages/nixpkgs/clang-analyzer | Clang Static Analyzer |
| packages/nixpkgs/chickenPackages_5.chickenEggs.digraph | Directed graph in adjacency list format. |
| packages/nixpkgs/crictty | Terminal-based cricket scorecard viewer |
| packages/nixpkgs/coq_8_8 | Coq proof assistant |
| packages/nixpkgs/armadillo | C++ linear algebra library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.bitstring | Binary pattern matching |
| packages/nixpkgs/chickenPackages_5.chickenEggs.simple-sha1 | A fast and simple SHA1 implementation with minimal dependencies |
| packages/nixpkgs/cudaPackages.saxpy | Simple (Single-precision AX Plus Y) FindCUDAToolkit.cmake example for testing cross-compilation |
| packages/nixpkgs/chickenPackages_5.chickenEggs.gmi | Gemtext reader and writer |
| packages/nixpkgs/chickenPackages_5.chickenEggs.chicken-doc-admin | Administer Chicken documentation locally |
| packages/nixpkgs/chickenPackages_5.chickenEggs.geo-utils | Geographic Utilities |
| packages/nixpkgs/awstats | Real-time logfile analyzer to get advanced statistics |
| packages/nixpkgs/chickenPackages_5.chickenEggs.lalr | An efficient LALR(1) parser generator |
| packages/nixpkgs/atkmm | C++ wrappers for ATK accessibility toolkit |
| packages/nixpkgs/cups | Standards-based printing system for UNIX |
| packages/nixpkgs/dbacl | |
| packages/nixpkgs/aws-checksums | HW accelerated CRC32c and CRC32 |
| packages/nixpkgs/colm | Programming language for the analysis and transformation of computer languages |
| packages/nixpkgs/ctx | Vector graphics terminal |
| packages/nixpkgs/chickenPackages_5.chickenEggs.modular-arithmetic | Modular Arithmetic on Finite Fields |
| packages/nixpkgs/coqPackages.iris | Coq development of the Iris Project |
| packages/nixpkgs/cddlib | Implementation of the Double Description Method for generating all vertices of a convex polyhedron |
| packages/nixpkgs/coqPackages.QuickChick | Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck |
| packages/nixpkgs/agdaPackages.cubical | Cubical type theory library for use with the Agda compiler |
| packages/nixpkgs/amule-web | Peer-to-peer client for the eD2K and Kademlia networks |
| packages/nixpkgs/brial | Legacy version of PolyBoRi maintained by sagemath developers |
| packages/nixpkgs/chickenPackages_5.chickenEggs.simple-timer | Simple, cancel-able, efficient timer API |
| packages/nixpkgs/chickenPackages_5.chickenEggs.stack | Provides LIFO queue (stack) operations |
| packages/nixpkgs/chickenPackages_5.chickenEggs.xdg-basedir | Implementation of the XDG Base Directory Specification |
| packages/nixpkgs/chickenPackages_5.chickenEggs.arrays | Functional arrays and sets |
| packages/nixpkgs/coqPackages.metarocq-translations | |
| packages/nixpkgs/chickenPackages_5.chickenEggs.opengl | OpenGL bindings |
| packages/nixpkgs/dislocker | Read BitLocker encrypted partitions in Linux |
| packages/nixpkgs/chickenPackages_5.chickenEggs.sundials | An interface to SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic equation Solvers). |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-189 | SRFI 189: Maybe and Either |
| packages/nixpkgs/basex | XML database and XPath/XQuery processor |
| packages/nixpkgs/crystfel | Data processing for serial crystallography |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-180 | A JSON parser and printer that supports JSON bigger than memory. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.check-errors | Argument checks & errors |
| packages/nixpkgs/ansilove | ANSI and ASCII art to PNG converter in C |
| packages/nixpkgs/chickenPackages_5.chickenEggs.udp6 | Interface to UDP over IPv4 and IPv6 |
| packages/nixpkgs/debian-devscripts | Debian package maintenance scripts |
| packages/nixpkgs/chickenPackages_5.chickenEggs.statistics | Statistics library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.pigeon-hole | A mailbox constrained by capacity. |
| packages/nixpkgs/coqPackages.interval | Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant |
| packages/nixpkgs/beam27Packages.rebar3-nix | nix integration for rebar3 |
| packages/nixpkgs/chickenPackages_5.chickenEggs.define-er-syntax | explicitly implicit renaming |
| packages/nixpkgs/commons-math | Library of lightweight, self-contained mathematics and statistics components |
| packages/nixpkgs/dovecot | Open source IMAP and POP3 email server written with security primarily in mind |
| packages/nixpkgs/chickenPackages_5.chickenEggs.canvas-draw | Bindings to the CD graphics library |
| packages/nixpkgs/aws-c-cal | AWS Crypto Abstraction Layer |
| packages/nixpkgs/beamMinimal28Packages.ex_doc | ExDoc produces HTML and EPUB documentation for Elixir projects
|
| packages/nixpkgs/chickenPackages_5.chickenEggs.chalk | Simple hahn-style in-source documentation |
| packages/nixpkgs/coq_8_9 | Coq proof assistant |
| packages/nixpkgs/chickenPackages_5.chickenEggs.ssax | Oleg Kiselyov's XML parser |
| packages/nixpkgs/coqPackages.equations | Plugin for Coq to add dependent pattern-matching |
| packages/nixpkgs/djview | Portable DjVu viewer (Qt5) |
| packages/nixpkgs/chickenPackages_5.chickenEggs.hmac | HMAC provides a HMAC using the message-digest interface. |
| packages/nixpkgs/ats2 | Functional programming language with dependent types |
| packages/nixpkgs/balsa | E-mail client for GNOME |
| packages/nixpkgs/abc-verifier | Tool for sequential logic synthesis and formal verification |
| packages/nixpkgs/aespipe | AES encrypting or decrypting pipe |
| packages/nixpkgs/cppe | C++ and Python library for Polarizable Embedding |
| packages/nixpkgs/chickenPackages_5.chickenEggs.simple-md5 | Computes MD5 (RFC1321) checksums |
| packages/nixpkgs/chickenPackages_5.chickenEggs.args | Command-line argument handling, on top of SRFI 37 |
| packages/nixpkgs/chickenPackages_5.chickenEggs.directory-utils | directory-utils |
| packages/nixpkgs/chickenPackages_5.chickenEggs.awful | awful provides an application and an extension to ease the development of web-based applications. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-99 | SRFI-99 record types |
| packages/nixpkgs/beam28Packages.elixir-ls | A frontend-independent IDE "smartness" server for Elixir |
| packages/nixpkgs/edlib | Lightweight, fast C/C++ library for sequence alignment using edit distance |
| packages/nixpkgs/chickenPackages_5.chickenEggs.define-options | Conveniently bind to getopt-long options |
| packages/nixpkgs/chickenPackages_5.chickenEggs.mailbox | Thread-safe queues with timeout |
| packages/nixpkgs/chickenPackages_5.chickenEggs.ephem | A wrapper for libnova a 'general purpose, double precision, Celestial Mechanics, Astrometry and Astrodynamics library.' |
| packages/nixpkgs/beam27Packages.elixir-ls | A frontend-independent IDE "smartness" server for Elixir |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-145 | SRFI 145: Assumptions |
| packages/nixpkgs/chickenPackages_5.chickenEggs.crypto-tools | Useful cryptographic primitives |
| packages/nixpkgs/chickenPackages_5.chickenEggs.introspect | Module introspection |