| packages/nixpkgs/alt-ergo | High-performance theorem prover and SMT solver |
| packages/nixpkgs/chickenPackages_4.chickenEggs.intarweb | |
| packages/nixpkgs/dune_2 | Composable build system |
| packages/nixpkgs/darwin.xcode_11_4 | Apple's Xcode developer tools |
| packages/nixpkgs/avrdude | Command-line tool for programming Atmel AVR microcontrollers |
| packages/nixpkgs/electron | Cross platform desktop application shell |
| packages/nixpkgs/darwin.xcode_12_3 | Apple's Xcode developer tools |
| packages/nixpkgs/azpainter | Full color painting software for illustration drawing |
| packages/nixpkgs/drawio | Desktop version of draw.io for creating diagrams |
| packages/nixpkgs/cmph | Free minimal perfect hash C library, providing several algorithms in the literature in a consistent, ease to use, API |
| packages/nixpkgs/beans | Issue tracker for you, your team, and your coding agents |
| packages/nixpkgs/darwin.xcode_16_4 | Apple's Xcode developer tools |
| packages/nixpkgs/darwin.xcode_9_4_1 | Apple's Xcode developer tools |
| packages/nixpkgs/coqPackages.vscoq-language-server | Language server for the vscoq vscode/codium extension |
| packages/nixpkgs/craftos-pc | Implementation of the CraftOS-PC API written in C++ using SDL |
| packages/nixpkgs/elinks | Full-featured text-mode web browser |
| packages/nixpkgs/boot | Build tooling for Clojure |
| packages/nixpkgs/darwin.xcode_13_1 | Apple's Xcode developer tools |
| packages/nixpkgs/camunda-modeler | Integrated modeling solution for BPMN, DMN and Forms based on bpmn.io |
| packages/nixpkgs/eff | Functional programming language based on algebraic effects and their handlers |
| packages/nixpkgs/darwin.xcode_15_0_1 | Apple's Xcode developer tools |
| packages/nixpkgs/darwin.xcode_15_1 | Apple's Xcode developer tools |
| packages/nixpkgs/chipsec | Platform Security Assessment Framework |
| packages/nixpkgs/chickenPackages_4.chickenEggs.matchable | |
| packages/nixpkgs/djgpp_i686 | Complete 32-bit GNU-based development system for Intel x86 PCs running DOS |
| packages/nixpkgs/darwin.xcode_26_2 | Apple's Xcode developer tools |
| packages/nixpkgs/airspy | Host tools and driver library for the AirSpy SDR |
| packages/nixpkgs/apacheHttpdPackages.apacheHttpd | Apache HTTPD, the world's most popular web server |
| packages/nixpkgs/chickenPackages_4.chickenEggs.simple-md5 | |
| packages/nixpkgs/dec-decode | Nintendo Wii iso.dec decoder |
| packages/nixpkgs/darktable | Virtual lighttable and darkroom for photographers |
| packages/nixpkgs/darwin.xcode_13_2 | Apple's Xcode developer tools |
| packages/nixpkgs/darwin.xcode_26_0_1 | Apple's Xcode developer tools |
| packages/nixpkgs/ekho | Chinese text-to-speech software |
| packages/nixpkgs/chickenPackages_4.chickenEggs.uri-common | |
| packages/nixpkgs/bvi | Hex editor with vim style keybindings |
| packages/nixpkgs/csvtool | Command line tool for handling CSV files |
| packages/nixpkgs/djv | Professional review software for VFX, animation, and film production |
| packages/nixpkgs/cc-tool | Command line tool for the Texas Instruments CC Debugger |
| packages/nixpkgs/apacheHttpdPackages_2_4.subversion | Version control system intended to be a compelling replacement for CVS in the open source community |
| packages/nixpkgs/clp | Open-source linear programming solver written in C++ |
| packages/nixpkgs/antlr3_5 | Powerful parser generator |
| packages/nixpkgs/darwin.xcode_26_1 | Apple's Xcode developer tools |
| packages/nixpkgs/darwin.xcode_14 | Apple's Xcode developer tools |
| packages/nixpkgs/darwin.xcode_12_5 | Apple's Xcode developer tools |
| packages/nixpkgs/arp-scan | ARP scanning and fingerprinting tool |
| packages/nixpkgs/cdrtools | Highly portable CD/DVD/BluRay command line recording software |
| packages/nixpkgs/beets-minimal | Music tagger and library organizer |
| packages/nixpkgs/darwin.xcode_26_1_1_Apple_silicon | Apple's Xcode developer tools |
| packages/nixpkgs/bruno | Open-source IDE For exploring and testing APIs |
| packages/nixpkgs/darwin.xcode_12_1 | Apple's Xcode developer tools |
| packages/nixpkgs/darwin.xcode_16_3 | Apple's Xcode developer tools |
| packages/nixpkgs/bonnie | Hard drive and file system benchmark suite |
| packages/nixpkgs/darwin.xcode_11_6 | Apple's Xcode developer tools |
| packages/nixpkgs/cppunit | C++ unit testing framework |
| packages/nixpkgs/corepack_20 | Wrappers for npm, pnpm and Yarn via Node.js Corepack |
| packages/nixpkgs/container-structure-test | Framework to validate the structure of a container image |
| packages/nixpkgs/assh | Advanced SSH config - Regex, aliases, gateways, includes and dynamic hosts |
| packages/nixpkgs/browsh | Fully-modern text-based browser, rendering to TTY and browsers |
| packages/nixpkgs/cgdb | Curses interface to gdb |
| packages/nixpkgs/antlr3_4 | Powerful parser generator |
| packages/nixpkgs/darwin.xcode_12_2 | Apple's Xcode developer tools |
| packages/nixpkgs/ecm | Elliptic Curve Method for Integer Factorization |
| packages/nixpkgs/chatd | Chat with your documents using local AI |
| packages/nixpkgs/ctrtool | Tool to extract data from a 3ds rom |
| packages/nixpkgs/cool-retro-term | Terminal emulator which mimics the old cathode display |
| packages/nixpkgs/darwin.xcode_13_3_1 | Apple's Xcode developer tools |
| packages/nixpkgs/aws-gate | Better AWS SSM Session manager CLI client |
| packages/nixpkgs/caprine | Elegant Facebook Messenger desktop app |
| packages/nixpkgs/darwin.xcode_11_3_1 | Apple's Xcode developer tools |
| packages/nixpkgs/chickenPackages_4.chicken | Portable compiler for the Scheme programming language |
| packages/nixpkgs/darwin.xcode_15_3 | Apple's Xcode developer tools |
| packages/nixpkgs/ch341eeprom | Libusb based programming tool for 24Cxx serial EEPROMs using the WinChipHead CH341A IC |
| packages/nixpkgs/darwin.xcode_13 | Apple's Xcode developer tools |
| packages/nixpkgs/clex | File manager with full-screen terminal interface |
| packages/nixpkgs/consul-template | Generic template rendering and notifications with Consul |
| packages/nixpkgs/dumphfdl | Decoder for Multichannel HFDL aircraft communication |
| packages/nixpkgs/darwin.xcode_15_2 | Apple's Xcode developer tools |
| packages/nixpkgs/bcu | NXP i |
| packages/nixpkgs/caffe | Deep learning framework |
| packages/nixpkgs/drawterm | Connect to Plan 9 CPU servers from other operating systems |
| packages/nixpkgs/advancecomp | Set of tools to optimize deflate-compressed files |
| packages/nixpkgs/dnf5 | Next-generation RPM package management system |
| packages/nixpkgs/bazel-remote | Remote HTTP/1.1 cache for Bazel |
| packages/nixpkgs/caudec | Multiprocess audio converter that supports many formats (FLAC, MP3, Ogg Vorbis, Windows codecs and many more) |
| packages/nixpkgs/cutecapture | Nintendo DS and 3DS capture software for Linux and Mac |
| packages/nixpkgs/darwin.xcode_26_1_1 | Apple's Xcode developer tools |
| packages/nixpkgs/darwin.xcode_13_4_1 | Apple's Xcode developer tools |
| packages/nixpkgs/apacheHttpdPackages.subversion | Version control system intended to be a compelling replacement for CVS in the open source community |
| packages/nixpkgs/darwin.xcode_16_2 | Apple's Xcode developer tools |
| packages/nixpkgs/cmusfm | Last.fm and Libre.fm standalone scrobbler for the cmus music player |
| packages/nixpkgs/darwin.xcode_15 | Apple's Xcode developer tools |
| packages/nixpkgs/e-imzo | For uzbek state web identity proving & key signing |
| packages/nixpkgs/dot-merlin-reader | Reads config files for merlin |
| packages/nixpkgs/cdimgtools | Tools to inspect and manipulate CD/DVD optical disc images |
| packages/nixpkgs/aseprite | Animated sprite editor & pixel art tool |
| packages/nixpkgs/coqPackages.vsrocq-language-server | Language server for the vsrocq vscode/codium extension |
| packages/nixpkgs/chickenPackages_4.chickenEggs.defstruct | |
| packages/nixpkgs/crawlTiles | Open-source, single-player, role-playing roguelike game |
| packages/nixpkgs/ccls | C/c++ language server powered by clang |