| asdf_3_3 | Standard software-system definition library for Common Lisp |
| chickenPackages_5.chickenEggs.mpi | Message-passing Interface (MPI) |
| asio_1_36_0 | Cross-platform C++ library for network and low-level I/O programming |
| ecdsautils | Tiny collection of programs used for ECDSA (keygen, sign, verify) |
| chickenPackages_5.chickenEggs.queues | A queue data structure |
| cccc | C and C++ Code Counter |
| balsa | E-mail client for GNOME |
| chickenPackages_5.chickenEggs.noise | Noise generation functions on the GPU |
| c-graph | Tool for Learning about Convolution |
| coqPackages.mathcomp-character | |
| easel | Sequence analysis library used by Eddy/Rivas lab code |
| dpp | Discord C++ Library |
| chickenPackages_5.chickenEggs.modular-arithmetic | Modular Arithmetic on Finite Fields |
| dnote | Simple command line notebook for programmers |
| chickenPackages_5.chickenEggs.srfi-179 | SRFI-179: Nonempty Intervals and Generalized Arrays (Updated) |
| amd-ucodegen | Tool to generate AMD microcode files |
| anystyle-cli | Command line interface to the AnyStyle Parser and Finder |
| easypdkprog | Read, write and execute programs on PADAUK microcontroller |
| chickenPackages_5.chickenEggs.srfi-134 | SRFI 134: Immutable deques |
| archivemount | Gateway between FUSE and libarchive: allows mounting of cpio, .tar.gz, .tar.bz2 archives |
| chickenPackages_5.chickenEggs.define-er-syntax | explicitly implicit renaming |
| clojure | Lisp dialect for the JVM |
| auto-patchelf | Automatically patch ELF binaries using patchelf |
| chickenPackages_5.chickenEggs.vector-lib | Port of the SRFI-43 reference implementation |
| coqPackages.mathcomp-classical | Analysis library compatible with Mathematical Components |
| atomix | Puzzle game where you move atoms to build a molecule |
| coq2html | HTML documentation generator for Coq source files |
| chickenPackages_5.chickenEggs.call-table-generics | cond generics |
| chickenPackages_5.chickenEggs.gtk-server | GTK-server binding |
| e2fsprogs | Tools for creating and checking ext2/ext3/ext4 filesystems |
| bitcoind-knots | Derivative of Bitcoin Core |
| coqPackages.mtac2 | Typed tactic language for Coq |
| algol68g | Algol 68 Genie compiler-interpreter |
| electron-cash | Bitcoin Cash SPV Wallet |
| beamMinimal27Packages.livebook | Automate code & data workflows with interactive Elixir notebooks |
| crispy-doom | Limit-removing enhanced-resolution Doom source port based on Chocolate Doom |
| cups | Standards-based printing system for UNIX |
| deark | Utility for file format and metadata analysis, data extraction, decompression, and image format decoding |
| chickenPackages_5.chicken | Portable compiler for the Scheme programming language |
| chickenPackages_5.chickenEggs.skiplists | An implementation of skiplists |
| chickenPackages_5.chickenEggs.scm2wiki | An auto-documentation tool for CHICKEN Scheme. |
| elasticsearchPlugins.analysis-phonetic | Phonetic Analysis plugin integrates phonetic token filter analysis with elasticsearch |
| chickenPackages_5.chickenEggs.getopt-long | Command line option parsing. |
| dynamic-colors | Change terminal colors on the fly |
| chickenPackages_5.chickenEggs.chibi-generic | Chibi Scheme's simple generic function interface |
| bcal | Storage conversion and expression calculator |
| chickenPackages_5.chickenEggs.expat | An interface to James Clark's Expat XML parser |
| chickenPackages_5.chickenEggs.pdf | A library for PDF generation. |
| beamMinimal26Packages.rebar3 | Erlang build tool that makes it easy to compile and test Erlang applications, port drivers and releases |
| bintools-unwrapped | Tools for manipulating binaries (linker, assembler, etc.) |
| biboumi | Modern XMPP IRC gateway |
| beamMinimal26Packages.rebar3-proper | rebar3 proper plugin |
| dump1090-fa | Simple Mode S decoder for RTLSDR devices |
| bgpq3 | bgp filtering automation tool |
| chickenPackages_5.chickenEggs.packrat | A packrat parsing library |
| chickenPackages_5.chickenEggs.sandbox | A safe evaluation environment |
| ctx | Vector graphics terminal |
| ani-cli | Cli tool to browse and play anime |
| asc-key-to-qr-code-gif | Convert ASCII-armored PGP keys to animated QR code |
| crystfel | Data processing for serial crystallography |
| cvc4 | High-performance theorem prover and SMT solver |
| chickenPackages_5.chickenEggs.continuations | two continuation interfaces |
| auctex | Extensible package for writing and formatting TeX files in GNU Emacs and XEmacs |
| elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| chickenPackages_5.chickenEggs.message-digest-type | Message Digest Type |
| chickenPackages_5.chickenEggs.taglib | Bindings to taglib |
| commons-bcel | Gives users a convenient way to analyze, create, and manipulate (binary) Java class files |
| chickenPackages_5.chickenEggs.expand-full | Full macro expansion |
| chickenPackages_5.chickenEggs.server-test | Utilities to help testing servers |
| desmume | Open-source Nintendo DS emulator |
| chickenPackages_5.chickenEggs.coops | A featureful object system |
| apfel | PDF Evolution Library |
| chickenPackages_5.chickenEggs.srfi-117 | SRFI-117: Mutable Queues |
| chickenPackages_5.chickenEggs.plot | An interface to GNU libplot, a library for device-independent two-dimensional vector graphics. |
| cbmc | Bounded Model Checker for C and C++ programs |
| chickenPackages_5.chickenEggs."7off" | Markdown to Gemini text |
| beamMinimal28Packages.rebar | Erlang build tool that makes it easy to compile and test Erlang applications, port drivers and releases |
| chirp | Free, open-source tool for programming your amateur radio |
| agdaPackages.iowa-stdlib | Agda standard library developed at Iowa |
| cgns | CFD General Notation System standard library |
| chickenPackages_5.chickenEggs.raylib | Bindings for raylib: A simple and easy-to-use library to enjoy videogames programming |
| chickenPackages_5.chickenEggs.message-digest | Message Digest (omnibus) |
| commons-lang | Provides additional methods to manipulate standard Java library classes |
| binutils-unwrapped_2_38 | Tools for manipulating binaries (linker, assembler, etc.) |
| discocss | Tiny Discord css-injector |
| chickenPackages_5.chickenEggs.check-errors | Argument checks & errors |
| chickenPackages_5.chickenEggs.acetone | A simple parser |
| chickenPackages_5.chickenEggs.mpd-client | Interface to Music Player Daemon |
| amule-daemon | Peer-to-peer client for the eD2K and Kademlia networks |
| beamMinimal28Packages.erlfmt | Automated code formatter for Erlang |
| beamMinimal26Packages.ex_doc | ExDoc produces HTML and EPUB documentation for Elixir projects
|
| coqPackages.mathcomp-fingroup | |
| chickenPackages_5.chickenEggs.topham | Bindings for the sr.ht REST API |
| dtools | Ancillary tools for the D programming language |
| bashSnippets | Collection of small bash scripts for heavy terminal users |
| diffpdf | Tool for diffing pdf files visually or textually |
| bunster | Compile shell scripts to static binaries |
| chickenPackages_5.chickenEggs.rfc3339 | RFC3339 datetime parser |
| bossa | Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers |
| duply | Shell front end for the duplicity backup tool |