| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-174 | srfi-174 |
| packages/nixpkgs/chickenPackages_5.chickenEggs.json-rpc | A JSON RPC library for R7RS scheme. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.remote-mailbox | Remote Mailbox |
| packages/nixpkgs/chickenPackages_5.chickenEggs.nitrate | Combinator based pattern matching |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-35 | SRFI-35 Conditions |
| packages/nixpkgs/cvc5 | High-performance theorem prover and SMT solver |
| packages/nixpkgs/chickenPackages_5.chickenEggs.linenoise | A minimal, zero-config, BSD licensed, readline replacement. |
| packages/nixpkgs/chickenPackages_5.chickenEggs.spiffy-sexpr-log | Symbolic expression log format for Spiffy |
| packages/nixpkgs/aritim-dark | Dark theme deeply inspired by the Ayu Dark color palette |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-1 | SRFI-1 list library |
| packages/nixpkgs/drascula-the-vampire-strikes-back | Spanish 2D classic point & click style adventure with tons of humor and an easy interface |
| packages/nixpkgs/apacheHttpdPackages.mod_perl | Integration of perl with the Apache2 web server |
| packages/nixpkgs/cardpeek | Tool to read the contents of ISO7816 smart cards |
| packages/nixpkgs/alire | Source-based package manager for the Ada and SPARK programming languages |
| packages/nixpkgs/elasticmq-server-bin | Message queueing system with Java, Scala and Amazon SQS-compatible interfaces |
| packages/nixpkgs/eigen | C++ template library for linear algebra: vectors, matrices, and related algorithms |
| packages/nixpkgs/beam26Packages.erlfmt | Automated code formatter for Erlang |
| packages/nixpkgs/dl-poly-classic-mpi | DL_POLY Classic is a general purpose molecular dynamics simulation package |
| packages/nixpkgs/cyrus_sasl | Library for adding authentication support to connection-based protocols |
| packages/nixpkgs/cscope | Developer's tool for browsing source code |
| packages/nixpkgs/chuck | Programming language for real-time sound synthesis and music creation |
| packages/nixpkgs/autoconf-archive | Archive of autoconf m4 macros |
| packages/nixpkgs/byacc | Berkeley YACC |
| packages/nixpkgs/cdparanoiaIII | Tool and library for reading digital audio from CDs |
| packages/nixpkgs/chickenPackages_5.chickenEggs.binary-search | Binary search algorithm |
| packages/nixpkgs/beam26Packages.elixir_1_15 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/celf | Linear logic programming system |
| packages/nixpkgs/coqPackages.mathcomp-word | Yet Another Coq Library on Machine Words |
| packages/nixpkgs/chickenPackages_5.chickenEggs.xlib | Xlib bindings |
| packages/nixpkgs/chickenPackages_5.chickenEggs.iset | Integer sets |
| packages/nixpkgs/countryguess | Guess the 193 U |
| packages/nixpkgs/chickenPackages_5.chickenEggs.box | Boxing |
| packages/nixpkgs/aprx | Multitalented APRS i-gate / digipeater |
| packages/nixpkgs/bucklespring-x11 | Nostalgia bucklespring keyboard sound |
| packages/nixpkgs/beamMinimal26Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/coqPackages.equations | Plugin for Coq to add dependent pattern-matching |
| packages/nixpkgs/armitage | Graphical cyber attack management tool for Metasploit |
| packages/nixpkgs/dhcping | Send DHCP request to find out if a DHCP server is running |
| packages/nixpkgs/baresip | Modular SIP User-Agent with audio and video support |
| packages/nixpkgs/deer | Ranger-like file navigation for zsh |
| packages/nixpkgs/cdparanoia | Tool and library for reading digital audio from CDs |
| packages/nixpkgs/chickenPackages_5.chickenEggs.iconv | Character-set conversions |
| packages/nixpkgs/assetfinder | Find domains and subdomains related to a given domain |
| packages/nixpkgs/chickenPackages_5.chickenEggs.pigeon-hole | A mailbox constrained by capacity. |
| packages/nixpkgs/coq_8_13 | Coq proof assistant |
| packages/nixpkgs/coqPackages.metarocq-common | |
| packages/nixpkgs/elastic | Design spring animations |
| packages/nixpkgs/dovecot_pigeonhole | Sieve plugin for the Dovecot IMAP server |
| packages/nixpkgs/chickenPackages_5.chickenEggs."9p" | 9p networked filesystem protocol implementation |
| packages/nixpkgs/convmv | Converts filenames from one encoding to another |
| packages/nixpkgs/chickenPackages_5.chickenEggs.sdl2-image | Bindings to SDL_image 2 |
| packages/nixpkgs/eigenrand | Fastest Random Distribution Generator for Eigen |
| packages/nixpkgs/chickenPackages_5.chickenEggs.canvas-draw | Bindings to the CD graphics library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.ldif-sexpr | Convert (parse&write) LDIF, rfc4514 and LDAP filters (rfc2254) into S-expressions. |
| packages/nixpkgs/dblatex | Program to convert DocBook to DVI, PostScript or PDF via LaTeX or ConTeXt |
| packages/nixpkgs/chickenPackages_5.chickenEggs.r7rs | R7RS compatibility |
| packages/nixpkgs/chickenPackages_5.chickenEggs.messages | Creating algebraic- and abstract-types based on vectors |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-101 | SRFI 101 |
| packages/nixpkgs/chickenPackages_5.chickenEggs.nanograd | Minimalistic automatic differentiation framework. |
| packages/nixpkgs/caf | Open source implementation of the actor model in C++ |
| packages/nixpkgs/ataripp | Enhanced, cycle-accurated Atari emulator |
| packages/nixpkgs/cglm | Highly Optimized Graphics Math (glm) for C |
| packages/nixpkgs/chickenPackages_5.chickenEggs.directory-utils | directory-utils |
| packages/nixpkgs/beluga | Functional language for reasoning about formal systems |
| packages/nixpkgs/chickenPackages_5.chickenEggs.geo-utils | Geographic Utilities |
| packages/nixpkgs/chickenPackages_5.chickenEggs.zlib | Bindings for zlib |
| packages/nixpkgs/chickenPackages_5.chickenEggs.sqlite3pth | Run SQLite queries asynchronously in pthreads |
| packages/nixpkgs/chickenPackages_5.chickenEggs.symbol-utils | Symbol Utilities |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-19 | Time Data Types and Procedures |
| packages/nixpkgs/cron | Daemon for running commands at specific times |
| packages/nixpkgs/chickenPackages_5.chickenEggs.estraier-client | A pure Scheme Hyper Estraier client library |
| packages/nixpkgs/cbor-diag | CBOR diagnostic utilities |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-51 | SRFI-51: Handling rest list |
| packages/nixpkgs/chickenPackages_5.chickenEggs.loop | The Common Lisp LOOP macro |
| packages/nixpkgs/chickenPackages_5.chickenEggs.srfi-13 | SRFI-13 string library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.udp | An interface to User Datagram Protocol sockets |
| packages/nixpkgs/dra-cla | Cli tool to browse and play korean drama, chinese drama |
| packages/nixpkgs/ceres-solver | C++ library for modeling and solving large, complicated optimization problems |
| packages/nixpkgs/compare50 | Tool for detecting similarity in code supporting over 300 languages |
| packages/nixpkgs/beam28Packages.elixir-ls | A frontend-independent IDE "smartness" server for Elixir |
| packages/nixpkgs/chickenPackages_5.chickenEggs.ssql | SQL as S-expressions |
| packages/nixpkgs/chickenPackages_5.chickenEggs.micro-benchmark | Easily create micro-benchmarks |
| packages/nixpkgs/apktool | Tool for reverse engineering Android apk files |
| packages/nixpkgs/chickenPackages_5.chickenEggs.sendfile | Sending a file over the network |
| packages/nixpkgs/cddlib | Implementation of the Double Description Method for generating all vertices of a convex polyhedron |
| packages/nixpkgs/chickenPackages_5.chickenEggs.hascheme | Implictly Lazy Scheme embedded into Scheme |
| packages/nixpkgs/ecl | Lisp implementation aiming to be small, fast and easy to embed |
| packages/nixpkgs/avahi | mDNS/DNS-SD implementation |
| packages/nixpkgs/dbus-test-runner | Small little utility to run a couple of executables under a new DBus session for testing |
| packages/nixpkgs/acsccid | PC/SC driver for Linux/Mac OS X and it supports ACS CCID smart card readers |
| packages/nixpkgs/coqPackages.paramcoq | Coq plugin for parametricity |
| packages/nixpkgs/cc65 | C compiler for processors of 6502 family |
| packages/nixpkgs/chickenPackages_5.chickenEggs.this | Python's "this" module ported to CHICKEN |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_15 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/apacheHttpdPackages.mod_timestamp | RedWax CA service module for issuing signed timestamps |
| packages/nixpkgs/arj | Open-source implementation of the world-famous ARJ archiver |
| packages/nixpkgs/chickenPackages_5.chickenEggs.callable-data-structures | "Callable" data structures |
| packages/nixpkgs/dpkg | Debian package manager |
| packages/nixpkgs/anthy | Hiragana text to Kana Kanji mixed text Japanese input method |
| packages/nixpkgs/beam27Packages.rebar3 | Erlang build tool that makes it easy to compile and test Erlang applications, port drivers and releases |