| bash-completion | Programmable completion for the bash shell |
| chickenPackages_5.chickenEggs.dust | Fetch and install CHICKEN versions |
| coqPackages.metarocq-template-rocq | |
| blockhash | This is a perceptual image hash calculation tool based on algorithm
descibed in Block Mean Value Based Image Perceptual Hashing by Bian Yang,
Fan Gu and Xiamu Niu.
|
| beam28Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| chickenPackages_5.chickenEggs.dbus | A binding for libdbus, the IPC mechanism |
| boxes | Command line program which draws, removes, and repairs ASCII art boxes |
| elasticsearch | Open Source, Distributed, RESTful Search Engine |
| chickenPackages_5.chickenEggs.colorize | Colorize programming code as HTML |
| chickenPackages_5.chickenEggs.xml-rpc | XML-RPC client/server |
| chickenPackages_5.chickenEggs.srfi-207 | SRFI-207: String-notated bytevectors |
| coq_8_14 | Coq proof assistant |
| beamMinimal26Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| blockbook | Trezor address/account balance backend |
| chickenPackages_5.chickenEggs.pstk | PS/Tk: Portable Scheme interface to Tk |
| chatterino7 | Chat client for Twitch chat |
| blur-effect | Off-screen image blurring utility using OpenGL ES 3.0 |
| axis2 | Web Services / SOAP / WSDL engine, the successor to the widely used Apache Axis SOAP stack |
| avfs | Virtual filesystem that allows browsing of compressed files |
| db6 | Berkeley DB |
| chickenPackages_5.chickenEggs.lmdb | Bindings to LMDB |
| doomseeker | Multiplayer server browser for many Doom source ports |
| chickenPackages_5.chickenEggs.kiwi | Bindings to the KiWi library |
| binutils-unwrapped-all-targets | Tools for manipulating binaries (linker, assembler, etc.) |
| cvs-fast-export | Export an RCS or CVS history as a fast-import stream |
| coqPackages.HoTT | Homotopy Type Theory library |
| catalyst | In situ visualization and analysis library |
| chickenPackages_5.chickenEggs.ck-macros | Composable macros based on the CK abstract machine |
| coq_9_1 | Coq proof assistant |
| asciidoctor-with-extensions | Faster Asciidoc processor written in Ruby, with many extensions enabled |
| driversi686Linux.mesa | Open source 3D graphics library |
| coq_8_18 | Coq proof assistant |
| cdb | |
| eigen_3_4_0 | C++ template library for linear algebra: vectors, matrices, and related algorithms |
| chickenPackages_5.chickenEggs.srfi-232 | SRFI 232: Flexible curried procedures |
| bicpl | Brain Imaging Centre programming library |
| chickenPackages_5.chickenEggs.srfi-151 | SRFI 151: Bitwise Operations |
| dislocker | Read BitLocker encrypted partitions in Linux |
| chickenPackages_5.chickenEggs.address-info | Network address information access |
| chickenPackages_5.chickenEggs.memory-mapped-files | Memory-mapped file access for UNIX and Windows |
| chickenPackages_5.chickenEggs.x11-colors | named standard colors as available in X11 |
| beamMinimal27Packages.rebar3 | Erlang build tool that makes it easy to compile and test Erlang applications, port drivers and releases |
| cucumber | Tool for executable specifications |
| coq_8_11 | Coq proof assistant |
| agdaPackages.agdarsec | Total Parser Combinators in Agda |
| chickenPackages_5.chickenEggs.mdh | interface to the MDH database |
| coq_8_10 | Coq proof assistant |
| beam26Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| _9menu | Simple X11 menu program for running commands |
| beam27Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| casilda | Simple Wayland compositor widget for Gtk 4 which can be used to embed other processes windows in Gtk 4 application |
| commons-compress | Allows manipulation of ar, cpio, Unix dump, tar, zip, gzip, XZ, Pack200, bzip2, 7z, arj, lzma, snappy, DEFLATE and Z files |
| chickenPackages_5.chickenEggs.chicken-update | Update installed eggs |
| asdf | Standard software-system definition library for Common Lisp |
| darkstat | Network statistics web interface |
| aws-lc | General-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers |
| criterion | Cross-platform C and C++ unit testing framework for the 21th century |
| beamMinimal27Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| chickenPackages_5.chickenEggs.blas | An interface to level 1, 2 and 3 BLAS routines |
| bililiverecorder | Convenient free open source bilibili live recording tool |
| chickenPackages_5.chickenEggs.sdl-base | Basic SDL support |
| coccinelle | Program to apply semantic patches to C code |
| csound | Sound design, audio synthesis, and signal processing system, providing facilities for music composition and performance on all major operating systems and platforms |
| akkoma | ActivityPub microblogging server |
| beam27Packages.rebar | Erlang build tool that makes it easy to compile and test Erlang applications, port drivers and releases |
| chickenPackages_5.chickenEggs.beaker | Lab supplies for CHICKEN development |
| chickenPackages_5.chickenEggs.genann | Chicken bindings to genann - a simple neural network library in ANSI C |
| aws-c-http | C99 implementation of the HTTP/1.1 and HTTP/2 specifications |
| aspino | SAT/PseudoBoolean/MaxSat/ASP solver using glucose |
| chickenPackages_5.chickenEggs.llama | Inference with Llama2 model. |
| 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"
|
| deutex | Command-line tool to create and modify WAD files for games built on the original Doom engine |
| elasticsearchPlugins.analysis-icu | ICU Analysis plugin integrates the Lucene ICU module into elasticsearch |
| chickenPackages_5.chickenEggs.cmark | A chicken wrapper for cmark with markdown to sxml capabilities |
| coqPackages.hierarchy-builder | High level commands to declare a hierarchy based on packed classes |
| chickenPackages_5.chickenEggs.crypt | Secure password hashing through the Unix crypt() function |
| chickenPackages_5.chickenEggs.svnwiki-sxml | Parse svnwiki to sxml |
| chickenPackages_5.chickenEggs.uri-match | A flexible URI matcher |
| csa | Group of LADSPA Audio plugins for FM broadcast and more |
| coqPackages.metarocq-pcuic | |
| beamMinimal28Packages.ex_doc | ExDoc produces HTML and EPUB documentation for Elixir projects
|
| chickenPackages_5.chickenEggs.with-current-directory | Convenience procedure for temporarily changing directories |
| chickenPackages_5.chickenEggs.yasos | A very simple OOP system |
| chickenPackages_5.chickenEggs.rss | A RSS parser |
| chickenPackages_5.chickenEggs.srfi-144 | SRFI 144: Flonums |
| coqPackages.metarocq-safechecker-plugin | |
| antlr4 | Powerful parser generator |
| bitmap | X bitmap (XBM) editor and converter utilities |
| beam27Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| chickenPackages_5.chickenEggs.char-set-literals | A reader extension providing Gauche style literals for SRFI-14 char-sets |
| as31 | 8031/8051 assembler |
| beam27Packages.ex_doc | ExDoc produces HTML and EPUB documentation for Elixir projects
|
| bootloadhid | USB boot loader for AVR microcontrollers with at least 2 kB of boot load section, e.g. ATMega8 |
| chickenPackages_5.chickenEggs.unitex-named-chars | Unicode & LaTeX Named Chars |
| ceptre | Linear logic programming language for modeling generative interactive systems |
| biber-ms | Backend for BibLaTeX (multiscript version) |
| chickenPackages_5.chickenEggs.pathname-expand | |
| chickenPackages_5.chickenEggs.srfi-25 | Multidimensional arrays |
| chickenPackages_5.chickenEggs.transducers | Transducers for working with foldable data types. |
| chickenPackages_5.chickenEggs.feature-test | Foreign feature testing |