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