| packages/nixpkgs/botan2 | Cryptographic algorithms library |
| packages/nixpkgs/coqPackages.RustExtraction | A framework for extracting Coq programs to Rust |
| packages/nixpkgs/coqPackages.metacoq-template-pcuic | |
| packages/nixpkgs/antlr4_8 | Powerful parser generator |
| packages/nixpkgs/blas-reference | Basic Linear Algebra Subprograms |
| packages/nixpkgs/archivebox | Open source self-hosted web archiving |
| packages/nixpkgs/cyber | Fast, efficient, and concurrent scripting language |
| packages/nixpkgs/coqPackages.metacoq-utils | |
| packages/nixpkgs/_2048-cli-curses | Game 2048 for your Linux terminal |
| packages/nixpkgs/beam26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/coqPackages.metacoq-quotation | |
| packages/nixpkgs/floorp-unwrapped | Fork of Firefox that seeks balance between versatility, privacy and web openness |
| packages/nixpkgs/gr-framework | GR framework is a graphics library for visualisation applications |
| packages/nixpkgs/gnat12 | GNU Compiler Collection, version 12.4.0 (wrapper script) |
| packages/nixpkgs/gpxsee-qt6 | GPS log file viewer and analyzer |
| packages/nixpkgs/gcc11 | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| packages/nixpkgs/gcc9 | GNU Compiler Collection, version 9.5.0 (wrapper script) |
| packages/nixpkgs/freeimage | Open Source library for accessing popular graphics image file formats |
| packages/nixpkgs/gfortran12 | GNU Compiler Collection, version 12.4.0 (wrapper script) |
| packages/nixpkgs/gfortran11 | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| packages/nixpkgs/gperf_3_0 | Perfect hash function generator |
| packages/nixpkgs/gcc12 | GNU Compiler Collection, version 12.4.0 (wrapper script) |
| packages/nixpkgs/gimp3Plugins.gmic | GIMP plugin for the G'MIC image processing framework |
| packages/nixpkgs/gnat11 | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| packages/nixpkgs/f3d_egl | Fast and minimalist 3D viewer using VTK |
| packages/nixpkgs/gn_2233 | Meta-build system that generates build files for Ninja |
| packages/nixpkgs/gdc | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| packages/nixpkgs/gcc10 | GNU Compiler Collection, version 10.5.0 (wrapper script) |
| packages/nixpkgs/gfortran9 | GNU Compiler Collection, version 9.5.0 (wrapper script) |
| packages/nixpkgs/glabels | Create labels and business cards |
| packages/nixpkgs/gnome-recipes | Recipe management application for GNOME |
| packages/nixpkgs/gfortran10 | GNU Compiler Collection, version 10.5.0 (wrapper script) |
| packages/nixpkgs/floorp | Fork of Firefox that seeks balance between versatility, privacy and web openness |
| packages/nixpkgs/jing | RELAX NG validator in Java |
| packages/nixpkgs/itpp | IT++ is a C++ library of mathematical, signal processing and communication classes and functions |
| packages/nixpkgs/hiawatha | Advanced and secure webserver |
| packages/nixpkgs/javaPackages.openjfx23 | Next-generation Java client toolkit |
| packages/nixpkgs/aircrack-ng | WiFi security auditing tools suite |
| packages/nixpkgs/icon-lang | Very high level general-purpose programming language |
| packages/nixpkgs/knot-resolver | Caching validating DNS resolver, from .cz domain registry |
| packages/nixpkgs/jsduck | Simple JavaScript Duckumentation generator |
| packages/nixpkgs/gtuber | GStreamer plugin for streaming videos from websites |
| packages/nixpkgs/jarowinkler-cpp | Fast Jaro and Jaro-Winkler distance |
| packages/nixpkgs/hyperswarm | Distributed Networking Stack for Connecting Peers |
| packages/nixpkgs/libLAS | LAS 1.0/1.1/1.2 ASPRS LiDAR data translation toolset |
| packages/nixpkgs/minizincide | IDE for MiniZinc, a medium-level constraint modelling language |
| packages/nixpkgs/mold-wrapped | Faster drop-in replacement for existing Unix linkers (unwrapped) (wrapper script) |
| packages/nixpkgs/libmesode | Fork of libstrophe (https://github.com/strophe/libstrophe) for use with Profanity XMPP Client |
| packages/nixpkgs/metaBuildEnv | |
| packages/nixpkgs/python312Packages.asn1ate | Python library for translating ASN.1 into other forms |
| packages/nixpkgs/python312Packages.aocd | Get your Advent of Code data with a single import statement |
| packages/nixpkgs/python312Packages.aligator | Versatile and efficient framework for constrained trajectory optimization |
| packages/nixpkgs/python312Packages.certbot-dns-cloudflare | Cloudflare DNS Authenticator plugin for Certbot |
| packages/nixpkgs/python312Packages.blockdiag | Generate block-diagram image from spec-text file (similar to Graphviz) |
| packages/nixpkgs/python312Packages.crocoddyl | Crocoddyl optimal control library |
| packages/nixpkgs/python312Packages.augeas | Pure python bindings for augeas |
| packages/nixpkgs/postgresql14Packages.cstore_fdw | Columnar storage for PostgreSQL |
| packages/nixpkgs/python312Packages.dbus-python | Python DBus bindings |
| packages/nixpkgs/python312Packages.ble-serial | "RFCOMM for BLE" a Serial UART over Bluetooth low energy (4+) bridge |
| packages/nixpkgs/python312Packages.clingo | ASP system to ground and solve logic programs |
| packages/nixpkgs/python312Packages.catboost | High-performance library for gradient boosting on decision trees |
| packages/nixpkgs/opencolorio_1 | Color management framework for visual effects and animation |
| packages/nixpkgs/python312Packages.certbot-dns-route53 | Route53 DNS Authenticator plugin for Certbot |
| packages/nixpkgs/python312Packages.certbot-dns-rfc2136 | RFC 2136 DNS Authenticator plugin for Certbot |
| packages/nixpkgs/python312Packages.certbot-dns-ovh | OVH DNS Authenticator plugin for Certbot |
| packages/nixpkgs/python312Packages.certbot-dns-google | Google Cloud DNS Authenticator plugin for Certbot |
| packages/nixpkgs/perl540Packages.DBDSQLite | Self Contained SQLite RDBMS in a DBI Driver |
| packages/nixpkgs/python312Packages.eccodes | ECMWF library for reading and writing GRIB, BUFR and GTS abbreviated header |
| packages/nixpkgs/perl538Packages.PDL | Perl Data Language |
| packages/nixpkgs/python312Packages.acme | ACME protocol implementation in Python |
| packages/nixpkgs/python312Packages.deltachat | Python bindings for the Delta Chat Core library |
| packages/nixpkgs/python312Packages.certbot | ACME client that can obtain certs and extensibly update server configurations |
| packages/nixpkgs/python312Packages.edlib | Lightweight, fast C/C++ library for sequence alignment using edit distance |
| packages/nixpkgs/postgresql17Packages.cstore_fdw | Columnar storage for PostgreSQL |
| packages/nixpkgs/python312Packages.eigenpy | Bindings between Numpy and Eigen using Boost |
| packages/nixpkgs/python312Packages.avahi | mDNS/DNS-SD implementation |
| packages/nixpkgs/postgresql15Packages.cstore_fdw | Columnar storage for PostgreSQL |
| packages/nixpkgs/python312Packages.cxxheaderparser | Modern pure python C++ header parser |
| packages/nixpkgs/python312Packages.cardimpose | Library for imposing PDF files |
| packages/nixpkgs/perl538Packages.DBDSQLite | Self Contained SQLite RDBMS in a DBI Driver |
| packages/nixpkgs/python312Packages.certbot-nginx | Nginx plugin for Certbot |
| packages/nixpkgs/python312Packages.bitstring | Module for binary data manipulation |
| packages/nixpkgs/python312Packages.doxmlparser | Library to parse the XML output produced by doxygen |
| packages/nixpkgs/perl540Packages.PDL | Perl Data Language |
| packages/nixpkgs/pell | Simple host availability monitor |
| packages/nixpkgs/python312Packages.catalyst | In situ visualization and analysis library |
| packages/nixpkgs/python312Packages.actdiag | Generate activity-diagram image from spec-text file (similar to Graphviz) |
| packages/nixpkgs/python312Packages.deploykit | Execute commands remote via ssh and locally in parallel with python |
| packages/nixpkgs/python312Packages.aafigure | ASCII art to image converter |
| packages/nixpkgs/powwow | Multi-user Dungeon Client |
| packages/nixpkgs/perl540Packages.DBDPg | DBI PostgreSQL interface |
| packages/nixpkgs/python312Packages.daemonocle | Python library for creating super fancy Unix daemons |
| packages/nixpkgs/openhmd | Library API and drivers immersive technology |
| packages/nixpkgs/python312Packages.adios2 | Adaptable Input/Output System version 2 |
| packages/nixpkgs/postgresql16Packages.cstore_fdw | Columnar storage for PostgreSQL |
| packages/nixpkgs/pidginPackages.tdlib-purple | libpurple Telegram plugin using tdlib |
| packages/nixpkgs/python312Packages.cached-property | Decorator for caching properties in classes |
| packages/nixpkgs/perl538Packages.DBDPg | DBI PostgreSQL interface |
| packages/nixpkgs/python312Packages.dlib | General purpose cross-platform C++ machine learning library |
| packages/nixpkgs/prisma | Next-generation ORM for Node.js and TypeScript |