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