| aligator | Versatile and efficient framework for constrained trajectory optimization |
| dosfstools | Utilities for creating and checking FAT and VFAT file systems |
| chickenPackages_5.chickenEggs.simple-sha1 | A fast and simple SHA1 implementation with minimal dependencies |
| bear | Tool that generates a compilation database for clang tooling |
| chickenPackages_5.chickenEggs.transmission | Transmission RPC |
| chickenPackages_5.chickenEggs.srfi-115 | SRFI 115: Scheme Regular Expressions |
| chickenPackages_5.chickenEggs.srfi-63 | Homogeneous and heterogeneous arrays |
| aws-c-compression | C99 implementation of huffman encoding/decoding |
| chickenPackages_5.chickenEggs.fx-utils | fx utilities |
| atasm | Commandline 6502 assembler compatible with Mac/65 |
| coqPackages.stdlib | Rocq Proof Assistant -- Standard Library |
| darling-dmg | FUSE module for .dmg files (containing an HFS+ filesystem) |
| chickenPackages_5.chickenEggs.henrietta-cache | Fetch and cache extensions from various sources for Henrietta to consume |
| dleyna | Library of utility functions that are used by the higher level dLeyna |
| bedtools | Powerful toolset for genome arithmetic |
| chickenPackages_5.chickenEggs.srfi-27 | Sources of Random Bits |
| chickenPackages_5.chickenEggs.monad | Monads |
| chickenPackages_5.chickenEggs.scsh-process | A reimplementation for CHICKEN of SCSH's process notation. |
| chickenPackages_5.chickenEggs.srfi-143 | SRFI 143: Fixnums |
| abduco | Allows programs to be run independently from its controlling terminal |
| airwindows-lv2 | Airwindows plugins (ported to LV2) |
| chickenPackages_5.chickenEggs.breadcrumbs | Breadcrumbs for web pages |
| avahi-compat | mDNS/DNS-SD implementation |
| chickenPackages_5.chickenEggs.srfi-45 | SRFI-45: Primitives for Expressing Iterative Lazy Algorithms |
| beamMinimal26Packages.pc | Rebar3 port compiler for native code |
| chickenPackages_5.chickenEggs.tcp6 | Interface to TCP over IPv4 and IPv6 |
| eigen2 | C++ template library for linear algebra: vectors, matrices, and related algorithms |
| chickenPackages_5.chickenEggs.dynamic-import | Dynamic Import |
| chickenPackages_5.chickenEggs.binary-heap | Binary heap. |
| celt_0_7 | Ultra-low delay audio codec |
| chickenPackages_5.chickenEggs.webview | Multi-platform HTML user interface shell |
| duo-unix | Duo Security Unix login integration |
| chickenPackages_5.chickenEggs.combinators | Combinators |
| chawan | Lightweight and featureful terminal web browser |
| argo-workflows | Container native workflow engine for Kubernetes |
| ats2 | Functional programming language with dependent types |
| chickenPackages_5.chickenEggs.simple-exceptions | Some user-friendly exception routines |
| chickenPackages_5.chickenEggs.foreigners | Foreign helper macros |
| beam28Packages.rebar3-nix | nix integration for rebar3 |
| bison | Yacc-compatible parser generator |
| apbs | Software for biomolecular electrostatics and solvation calculations |
| asciidoctor | Faster Asciidoc processor written in Ruby |
| beam26Packages.lfe | Best of Erlang and of Lisp; at the same time |
| audacity | Sound editor with graphical UI |
| beam26Packages.rebar | Erlang build tool that makes it easy to compile and test Erlang applications, port drivers and releases |
| aws-c-io | AWS SDK for C module for IO and TLS |
| cadical_2 | Simplified Satisfiability Solver |
| clinfo | Print all known information about all available OpenCL platforms and devices in the system |
| completely | Generate bash completion scripts using a simple configuration file |
| chickenPackages_5.chickenEggs.bindings | Pattern matching with destructuring bindings and setters |
| blobwars | Platform action game featuring a blob with lots of weapons |
| chickenPackages_5.chickenEggs.spiffy-cgi-handlers | CGI and FastCGI handlers for a small but powerful web server. |
| _9base | Port of various original Plan 9 tools for Unix, based on plan9port |
| agdaPackages.generics | Library for datatype-generic programming in Agda |
| ares | Open-source multi-system emulator with a focus on accuracy and preservation |
| beamMinimal26Packages.elixir_1_16 | Functional, meta-programming aware language built on top of the Erlang VM |
| chickenPackages_5.chickenEggs.tcp-server | A simple generic multithreaded tcp-server |
| cjson | Ultralightweight JSON parser in ANSI C |
| chickenPackages_5.chickenEggs.fp-utils | fp utilities |
| chickenPackages_5.chickenEggs.daemon | Create daemon processes |
| chickenPackages_5.chickenEggs.hypergiant | Game library |
| cubicsdr | Software Defined Radio application |
| dsdcc | Digital Speech Decoder (DSD) rewritten as a C++ library |
| docbook_xml_ebnf_dtd | |
| chickenPackages_5.chickenEggs.bencode | Bencoding parser and serializer |
| chickenPackages_5.chickenEggs.pthreads | Maintain and talk to a pthread pool. |
| chickenPackages_5.chickenEggs.spock | A compiler and runtime system for R5RS Scheme on top of JavaScript |
| coqPackages.mathcomp-bigenough | Small library to do epsilon - N reasonning |
| crystfel-headless | Data processing for serial crystallography |
| diffstat | Read output of diff and display a histogram of the changes |
| chickenPackages_5.chickenEggs.tokyocabinet | Tokyo Cabinet hash database interface |
| ecl_16_1_2 | Lisp implementation aiming to be small, fast and easy to embed |
| beam28Packages.rebar3-proper | rebar3 proper plugin |
| cfitsio | Library for reading and writing FITS data files |
| beamMinimal26Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| chickenPackages_5.chickenEggs.memcached | Client interface to the Memcached protocol. |
| chickenPackages_5.chickenEggs.srfi-146 | SRFI 146: Mappings |
| coqPackages.metarocq | |
| decasify | Utility to change the case of prose strings following natural language style guides |
| chickenPackages_5.chickenEggs.s9fes-char-graphics-shapes | Scheme 9 from Empty Space Char Graphics Shapes |
| chickenPackages_5.chickenEggs.json-abnf | Parser combinators for JavaScript Object Notation (JSON). |
| bmake | Portable version of NetBSD 'make' |
| beamMinimal27Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| ctagsWrapped | Tool for fast source code browsing (exuberant ctags) |
| coqPackages.unicoq | Enhanced unification algorithm for Coq |
| chickenPackages_5.chickenEggs.phosphate | Parser combinators with error recovery using call/cc |
| dovecot | Open source IMAP and POP3 email server written with security primarily in mind |
| cardimpose | Library for imposing PDF files |
| bioawk | BWK awk modified for biological data |
| dysnomia | Automated deployment of mutable components and services for Disnix |
| coqPackages.mathcomp-reals-stdlib | Analysis library compatible with Mathematical Components |
| chickenPackages_5.chickenEggs.coin-change | Greedy solver for the coin change problem |
| agdaPackages.functional-linear-algebra | Formalizing linear algebra in Agda by representing matrices as functions
from one vector space to another.
|
| dfu-util | Device firmware update (DFU) USB programmer |
| ddev | Docker-based local PHP+Node.js web development environments |
| elasticsearch7 | Open Source, Distributed, RESTful Search Engine |
| chickenPackages_5.chickenEggs.posix-utils | posix-utils |
| chickenPackages_5.chickenEggs.procedural-macros | procedural-macros made easy |
| chickenPackages_5.chickenEggs.atom | Atom 1.0 feed reader and writer |
| awstats | Real-time logfile analyzer to get advanced statistics |