| agdaPackages.cubical | Cubical type theory library for use with the Agda compiler |
| chickenPackages_5.chickenEggs.slib-arraymap | The SLIB applicative routines for the arrays library |
| ed | GNU implementation of the standard Unix editor |
| chickenPackages_5.chickenEggs.tree-walkers | replacement of car, cdr and consorts and other tree- and
list-routines |
| cdecl-blocks | Translator English -- C/C++ declarations |
| chickenPackages_5.chickenEggs.ersatz | A template engine inspired by Jinja2 and Jingoo. |
| atool | Archive command line helper |
| clac | Interactive stack-based calculator |
| clamav | Antivirus engine designed for detecting Trojans, viruses, malware and other malicious threats |
| chickenPackages_5.chickenEggs.udp6 | Interface to UDP over IPv4 and IPv6 |
| chickenPackages_5.chickenEggs.srfi-116 | SRFI-116: Immutable Lists. |
| bwa | Software package for mapping low-divergent sequences against a large reference genome, such as the human genome |
| chickenPackages_5.chickenEggs.bitstring | Binary pattern matching |
| attract-mode | Frontend for arcade cabinets and media PCs |
| ariang | Modern web frontend making aria2 easier to use |
| biber | Backend for BibLaTeX |
| chickenPackages_5.chickenEggs.schematic | Tools for Scheme development |
| diction | GNU style and diction utilities |
| boundary | Enables identity-based access management for dynamic infrastructure |
| elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| clutter-gst | GStreamer bindings for clutter |
| celt_0_5_1 | Ultra-low delay audio codec |
| colordiff | Wrapper for 'diff' that produces the same output but with pretty 'syntax' highlighting |
| apacheHttpdPackages_2_4.mod_csr | RedWax CA service module to handle Certificate Signing Requests |
| chickenPackages_5.chickenEggs.rb-tree | A sorted dictionary data structure based on red-black trees. |
| coqPackages.deriving | Generic instances of MathComp classes |
| cemu-ti | Third-party TI-84 Plus CE / TI-83 Premium CE emulator, focused on developer features |
| aerc | Email client for your terminal |
| clutter | Library for creating fast, dynamic graphical user interfaces |
| 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"
|