| beam26Packages.lfe | Best of Erlang and of Lisp; at the same time |
| chickenPackages_5.chickenEggs.simple-sequences | A common interface to sequences |
| docbook_xml_dtd_42 | |
| chickenPackages_5.chickenEggs.sqlite3pth | Run SQLite queries asynchronously in pthreads. Supports calling Scheme from SQLite's VFS to supply database block storage. |
| better-commits | CLI for creating better commits following the conventional commits specification |
| csdr | Simple DSP library and command-line tool for Software Defined Radio |
| chickenPackages_5.chickenEggs.record-variants | Optimized record access |
| antlr4_11 | Powerful parser generator |
| chickenPackages_5.chickenEggs.integer-map | SRFI 224 integer mappings |
| chickenPackages_5.chickenEggs.srfi-134 | SRFI 134: Immutable deques |
| aptdec | NOAA APT satellite imagery decoding library |
| chickenPackages_5.chickenEggs.ssql | SQL as S-expressions |
| bfcal | Quickly display a calendar |
| chickenPackages_5.chickenEggs.number-limits | Limit constants for numbers |
| athens | Go module datastore and proxy |
| chickenPackages_5.chickenEggs.srfi-35 | SRFI-35 Conditions |
| chickenPackages_5.chickenEggs.poule | Manage pools of worker processes |
| ciftilib | Library for reading and writing CIFTI files |
| cardpeek | Tool to read the contents of ISO7816 smart cards |
| chickenPackages_5.chickenEggs.srfi-111 | SRFI-111: Boxes |
| chickenPackages_5.chickenEggs.srfi-4-comprehensions | SRFI-42 Comprehensions for SRFI-4 Vectors |
| dolfinx | Computational environment of FEniCSx and implements the FEniCS Problem Solving Environment in C++ and Python |
| coq_8_7 | Coq proof assistant |
| aprx | Multitalented APRS i-gate / digipeater |
| bgpq3 | bgp filtering automation tool |
| beam26Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| bfs | Breadth-first version of the UNIX find command |
| coinmp | COIN-OR lightweight API for COIN-OR libraries CLP, CBC, and CGL |
| blobwars | Platform action game featuring a blob with lots of weapons |
| chickenPackages_5.chickenEggs.sxml-serializer | Serialize SXML to XML and HTML |
| crystfel-headless | Data processing for serial crystallography |
| chickenPackages_5.chickenEggs.lowdown | A pure Chicken Markdown parser |
| cvc5 | High-performance theorem prover and SMT solver |
| chickenPackages_5.chickenEggs.aes | A self-contained implementation of the AES / Rijndael encryption algorithm |
| chickenPackages_5.chickenEggs.futures | Concurrent evaluation of expressions |
| eigen | C++ template library for linear algebra: vectors, matrices, and related algorithms |
| cddiscid | Command-line utility to get CDDB discid information from a CD-ROM disc |
| elvis-erlang | Erlang Style Reviewer |
| agdaPackages.standard-library | Standard library for use with the Agda compiler |
| coqPackages.metarocq-erasure | |
| edlin | FreeDOS line editor |
| dfu-programmer | Device Firmware Update based USB programmer for Atmel chips with a USB bootloader |
| chickenPackages_5.chickenEggs.nanograd | Minimalistic automatic differentiation framework. |
| coqPackages.mathcomp-character | |
| chickenPackages_5.chickenEggs.json-utils | JSON Utilities |
| coal | Collision Detection Library, previously hpp-fcl |
| base91 | CLI tool for encoding binary data as ASCII characters |
| coqPackages.metarocq-template-pcuic | |
| dpp | Discord C++ Library |
| bamtools | C++ API & command-line toolkit for working with BAM data |
| chickenPackages_5.chickenEggs.kd-tree | K-D tree spatial indexing structure. |
| aws-c-common | AWS SDK for C common core |
| blisp | In-System-Programming (ISP) tool & library for Bouffalo Labs RISC-V Microcontrollers and SoCs |
| beamMinimal27Packages.lfe | Best of Erlang and of Lisp; at the same time |
| c-stdaux | Auxiliary macros and functions for the C standard library |
| cli11 | Command line parser for C++11 |
| chickenPackages_5.chickenEggs.egg-tarballs | Creates tarballs for eggs in henrietta cache |
| axel | Console downloading program with some features for parallel connections for faster downloading |
| dreamweb | 2D point-and-click cyberpunk top-down adventure game |
| coq_8_20 | Coq proof assistant |
| cln | C/C++ library for numbers, a part of GiNaC |
| completely | Generate bash completion scripts using a simple configuration file |
| cmdstan | Command-line interface to Stan |
| dieharder | Random Number Generator test suite |
| chickenPackages_5.chickenEggs.monad | Monads |
| apacheHttpdPackages.mod_jk | Provides web server plugins to connect web servers with Tomcat |
| coq_8_11 | Coq proof assistant |
| cdogs-sdl | Open source classic overhead run-and-gun game |
| antsimulator | Simple Ants simulator |
| chickenPackages_5.chickenEggs.bitwise-utils | Bitwise utilities |
| bitmap | X bitmap (XBM) editor and converter utilities |
| blaze | High performance C++ math library |
| antlr4_12 | Powerful parser generator |
| asciidoc | Text-based document generation system |
| argo-workflows | Container native workflow engine for Kubernetes |
| coq | Coq proof assistant |
| chickenPackages_5.chickenEggs.srfi-259 | Tagged procedures with type safety (with SRFI-229 compatability) |
| aiger | And-Inverter Graph (AIG) utilities |
| coq_8_18 | Coq proof assistant |
| chickenPackages_5.chickenEggs.uri-generic | URI generic syntax (RFC 3986) parsing and manipulation. |
| chickenPackages_5.chickenEggs.loop | The Common Lisp LOOP macro |
| chickenPackages_5.chickenEggs.traversal | Various list operations |
| bioawk | BWK awk modified for biological data |
| aws-c-auth | C99 library implementation of AWS client-side authentication |
| chickenPackages_5.chickenEggs.posix-utils | posix-utils |
| chickenPackages_5.chickenEggs.magic-pipes | Unix shell pipeline tools for working with s-expressions |
| chickenPackages_5.chickenEggs.fix-me-now | Make tweaks and changes to sexp trees |
| chickenPackages_5.chickenEggs.sql-null | A convenience extension for representing SQL NULL values |
| chickenPackages_5.chickenEggs.foreigners | Foreign helper macros |
| chickenPackages_5.chickenEggs.srfi-214 | SRFI 241: Flexvectors |
| egg2nix | Generate nix-expression from CHICKEN scheme eggs |
| chickenPackages_5.chickenEggs.soil | Lightweight, simple library for loading image files into OpenGL-friendly format. |
| ceptre | Linear logic programming language for modeling generative interactive systems |
| coqPackages.mathcomp-solvable | |
| coqPackages.mathcomp-fingroup | |
| dico | Flexible dictionary server and client implementing RFC 2229 |
| boxes | Command line program which draws, removes, and repairs ASCII art boxes |
| chickenPackages_5.chickenEggs.cis | Compact integer sets. |
| chickenPackages_5.chickenEggs.svnwiki2html | A program to convert svnwiki syntax to HTML |
| dwl | Dynamic window manager for Wayland |