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