| packages/nixpkgs/bootterm | Simple, reliable and powerful terminal to ease connection to serial ports |
| packages/nixpkgs/chickenPackages_5.chickenEggs.utf8 | Unicode support |
| packages/nixpkgs/chickenPackages_5.chickenEggs.awful-static-pages | Tool to generate static pages out of awful applications |
| packages/nixpkgs/discord-sh | Write-only command-line Discord webhook integration written in 100% Bash script |
| packages/nixpkgs/blisp | In-System-Programming (ISP) tool & library for Bouffalo Labs RISC-V Microcontrollers and SoCs |
| packages/nixpkgs/chickenPackages_5.chickenEggs.ipfs | IPFS HTTP API for Scheme |
| packages/nixpkgs/chickenPackages_5.chickenEggs.sexpc | Unix filter that turns sexps into C syntax |
| packages/nixpkgs/ctags | Tool for fast source code browsing (exuberant ctags) |
| packages/nixpkgs/dex2jar | Tools to work with android .dex and java .class files |
| packages/nixpkgs/arguments | Library for argument handling for MINC programs |
| packages/nixpkgs/chickenPackages_5.chickenEggs.stty | stty-style interface to termios |
| packages/nixpkgs/coqPackages.wasmcert | Wasm mechanisation in Coq/Rocq |
| packages/nixpkgs/chickenPackages_5.chickenEggs.message-digest-primitive | Message Digest Primitive |
| packages/nixpkgs/chickenPackages_5.chickenEggs.openssl | Bindings to the OpenSSL SSL/TLS library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.sqlite3 | Bindings to version 3.x of the SQLite API |
| packages/nixpkgs/chickenPackages_5.chickenEggs.amb | The non-deterministic backtracking ambivalence operator |
| packages/nixpkgs/beam27Packages.elvis-erlang | Erlang Style Reviewer |
| packages/nixpkgs/chickenPackages_5.chickenEggs.trace | tracing and breakpoints |
| packages/nixpkgs/chickenPackages_5.chickenEggs.simple-contracts | Design by contract for procedures |
| packages/nixpkgs/chickenPackages_5.chickenEggs.lexgen | Lexer combinators |
| packages/nixpkgs/chickenPackages_5.chickenEggs.lowdown | A pure Chicken Markdown parser |
| packages/nixpkgs/bstring | Better String Library for C |
| packages/nixpkgs/chickenPackages_5.chickenEggs.salmonella | A tool for testing eggs |
| packages/nixpkgs/chickenPackages_5.chickenEggs.matrico | A flonum matrix module for CHICKEN Scheme. |
| packages/nixpkgs/coqPackages.metarocq-translations | |
| packages/nixpkgs/chickenPackages_5.chickenEggs.smtp | Parser combinators and state machine for Simple Mail Transfer Protocol (RFC 5321). |
| packages/nixpkgs/alda | Music programming language for musicians |
| packages/nixpkgs/beam26Packages.elixir_1_16 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/chickenPackages_5.chickenEggs.type-extensions | Miscellaneous type system extensions |
| packages/nixpkgs/castty | CLI tool to record audio-enabled screencasts of your terminal, for the web |
| packages/nixpkgs/chickenPackages_5.chickenEggs.zxcvbn | zxcvbn password entropy estimation |
| packages/nixpkgs/beamMinimal27Packages.elixir-ls | A frontend-independent IDE "smartness" server for Elixir |
| packages/nixpkgs/chickenPackages_5.chickenEggs.graph-bfs | Breadth-first search in a graph. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.interfaces | Simple interface/implementation abstraction |
| packages/nixpkgs/addic7ed-cli | Commandline access to addic7ed subtitles |
| packages/nixpkgs/aegisub | Advanced subtitle editor |
| packages/nixpkgs/agedu | Unix utility for tracking down wasted disk space |
| packages/nixpkgs/coq_9_2 | Coq proof assistant |
| packages/nixpkgs/cholmod-extra | Set of additional routines for SuiteSparse CHOLMOD Module |
| packages/nixpkgs/cli11 | Command line parser for C++11 |
| packages/nixpkgs/aria2 | Lightweight, multi-protocol, multi-source, command-line download utility |
| packages/nixpkgs/base91 | CLI tool for encoding binary data as ASCII characters |
| packages/nixpkgs/dolphin-emu | Gamecube/Wii/Triforce emulator for x86_64 and ARMv8 |
| packages/nixpkgs/chickenPackages_5.chickenEggs.ncurses | An interface to the UNIX ncurses package |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-160 | SRFI 160: Homogeneous numeric vector libraries |
| packages/nixpkgs/coqPackages.mathcomp-finmap | Finset and finmap library |
| packages/nixpkgs/colormake | Simple wrapper around make to colorize the output |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-195 | SRFI 195 |
| packages/nixpkgs/dtach | Program that emulates the detach feature of screen |
| packages/nixpkgs/chickenPackages_5.chickenEggs.ezd | easy drawing for programs on X displays |
| packages/nixpkgs/chickenPackages_5.chickenEggs.salt | Hybrid dynamical systems modeling. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.posix-groups | Access POSIX group information |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-78 | SRFI-78: Lightweight testing |
| packages/nixpkgs/chickenPackages_5.chickenEggs.defstruct | A more convenient form of define-record |
| packages/nixpkgs/commons-math | Library of lightweight, self-contained mathematics and statistics components |
| packages/nixpkgs/chickenPackages_5.chickenEggs.kd-tree | K-D tree spatial indexing structure. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.sdl2-ttf | Bindings to SDL_ttf 2 |
| packages/nixpkgs/aws-sdk-cpp | C++ interface for Amazon Web Services |
| packages/nixpkgs/bloaty | Size profiler for binaries |
| packages/nixpkgs/catimg | Insanely fast image printing in your terminal |
| packages/nixpkgs/dublin-traceroute | NAT-aware multipath traceroute tool |
| packages/nixpkgs/chickenPackages_5.chickenEggs.forcible | Thread- and exception aware, lazy-looking synchronization with timeouts - extending srfi-45 |
| packages/nixpkgs/chickenPackages_5.chickenEggs.gmi | Gemtext reader and writer |
| packages/nixpkgs/chickenPackages_5.chickenEggs.shell | Convenient shell-command invocation |
| packages/nixpkgs/coqPackages.fourcolor | Formal proof of the Four Color Theorem |
| packages/nixpkgs/coqPackages.coq-hammer-tactics | Reconstruction tactics for the hammer for Coq |
| packages/nixpkgs/dssat | Cropping System Model |
| packages/nixpkgs/doomretro | Classic, refined DOOM source port |
| packages/nixpkgs/bitcoin-knots | Derivative of Bitcoin Core |
| packages/nixpkgs/bkcrack | Crack legacy zip encryption with Biham and Kocher's known plaintext attack |
| packages/nixpkgs/bb | AA-lib demo |
| packages/nixpkgs/beam26Packages.ex_doc | ExDoc produces HTML and EPUB documentation for Elixir projects
|
| packages/nixpkgs/cln | C/C++ library for numbers, a part of GiNaC |
| packages/nixpkgs/cpulimit | CPU usage limiter |
| packages/nixpkgs/dgen-sdl | Sega Genesis/Mega Drive emulator |
| packages/nixpkgs/chickenPackages_5.chickenEggs.byte-blob | Byte array utility procedures for blobs. |
| packages/nixpkgs/btcdeb | Bitcoin Script Debugger |
| packages/nixpkgs/beamMinimal27Packages.rebar3-nix | nix integration for rebar3 |
| packages/nixpkgs/chickenPackages_5.chickenEggs.format | Common-Lisp style formatted output |
| packages/nixpkgs/afuse | Automounter in userspace |
| packages/nixpkgs/crossguid | Lightweight cross platform C++ GUID/UUID library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.rocksdb | Bindings to Facebooks's RocksDB Key-Value Store |
| packages/nixpkgs/beam27Packages.erlfmt | Automated code formatter for Erlang |
| packages/nixpkgs/dbus | Simple interprocess messaging system |
| packages/nixpkgs/dns2tcp | Tool for relaying TCP connections over DNS |
| packages/nixpkgs/asciiquarium | Enjoy the mysteries of the sea from the safety of your own terminal |
| packages/nixpkgs/beam26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/bino3d | Video player with a focus on 3D and Virtual Reality |
| packages/nixpkgs/blucontrol | Configurable blue light filter |
| packages/nixpkgs/chickenPackages_5.chickenEggs.stack | Provides LIFO queue (stack) operations |
| packages/nixpkgs/choparp | Proxy ARP daemon |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-34 | SRFI-34: Exception Handling for Programs |
| packages/nixpkgs/coq_8_8 | Coq proof assistant |
| packages/nixpkgs/beamMinimal28Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/cambrinary | Cambridge dictionary in a terminal |
| packages/nixpkgs/echidna | Ethereum smart contract fuzzer |
| packages/nixpkgs/chickenPackages_5.chickenEggs.uri-generic | URI generic syntax (RFC 3986) parsing and manipulation. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.gl-type | Freetype font rendering in OpenGL |
| packages/nixpkgs/chickenPackages_5.chickenEggs.levenshtein | Levenshtein edit distance |
| packages/nixpkgs/atomicparsley | CLI program for reading, parsing and setting metadata into MPEG-4 files |