| packages/nixpkgs/bugdom | Port of Bugdom, a 1999 Macintosh game by Pangea Software, for modern operating systems |
| packages/nixpkgs/netsurf.libdom | Document Object Model library for netsurf browser |
| packages/nixpkgs/llama-cpp-rocm | Inference of Meta's LLaMA model (and others) in pure C/C++ |
| packages/nixpkgs/posting | Modern API client that lives in your terminal |
| packages/nixpkgs/rbdoom-3-bfg | Doom 3 BFG Edition with modern engine features |
| packages/nixpkgs/curv | 2D and 3D geometric modelling programming language for creating art with maths |
| packages/nixpkgs/proverif | Cryptographic protocol verifier in the formal model |
| packages/nixpkgs/biboumi | Modern XMPP IRC gateway |
| packages/nixpkgs/paper-plane | Chat over Telegram on a modern and elegant client |
| packages/nixpkgs/contour | Modern C++ Terminal Emulator |
| packages/nixpkgs/xcursor-pro | Modern XCursors |
| packages/nixpkgs/koboldcpp | Way to run various GGML and GGUF models |
| packages/nixpkgs/llama-cpp-vulkan | Inference of Meta's LLaMA model (and others) in pure C/C++ |
| packages/nixpkgs/glucose | Modern, parallel SAT solver (sequential version) |
| packages/nixpkgs/tlaplus18 | Algorithm specification language with model checking tools |
| packages/nixpkgs/proverifWithGui | Cryptographic protocol verifier in the formal model |
| packages/nixpkgs/hdf5_1_10 | Data model, library, and file format for storing and managing data |
| packages/nixpkgs/jasper-gtk-theme | Modern and clean Gtk theme |
| packages/nixpkgs/opengrm-ngram | Library to make and modify n-gram language models encoded as weighted finite-state transducers |
| packages/nixpkgs/argparse | Argument Parser for Modern C++ |
| packages/nixpkgs/smb3-foundry | Modern Super Mario Bros. 3 Level Editor |
| packages/nixpkgs/libhandy | Building blocks for modern adaptive GNOME apps |
| packages/nixpkgs/tegaki-zinnia-japanese | Japanese handwriting model for the Zinnia engine |
| packages/nixpkgs/glucose-syrup | Modern, parallel SAT solver (parallel version) |
| packages/nixpkgs/colloid-gtk-theme | Modern and clean Gtk theme |
| packages/nixpkgs/hdf5-fortran | Data model, library, and file format for storing and managing data |
| packages/nixpkgs/etherpad-lite | Modern really-real-time collaborative document editor |
| packages/nixpkgs/fmi-reference-fmus | Functional Mock-up Units for development, testing and debugging |
| packages/nixpkgs/hdf5-fortran-mpi | Data model, library, and file format for storing and managing data |
| packages/nixpkgs/toml11 | TOML for Modern C++ |
| packages/nixpkgs/onnxruntime | Cross-platform, high performance scoring engine for ML models |
| packages/nixpkgs/wmderland | Modern and minimal X11 tiling window manager |
| packages/nixpkgs/cambalache | RAD tool for GTK 4 and 3 with data model first philosophy |
| packages/nixpkgs/haskellPackages.vcache-trie | patricia tries modeled above VCache |
| packages/nixpkgs/newsflash | Modern feed reader designed for the GNOME desktop |
| packages/nixpkgs/openscad-unstable | 3D parametric model compiler (unstable) |
| packages/nixpkgs/chickenPackages_5.chickenEggs.llama | Inference with Llama2 model. |
| packages/nixpkgs/libunicode | Modern C++20 Unicode library |
| packages/nixpkgs/cryptoverif | Cryptographic protocol verifier in the computational model |
| packages/nixpkgs/qlementine | Modern QStyle for desktop Qt6 applications |
| packages/nixpkgs/hdf5-threadsafe | Data model, library, and file format for storing and managing data |
| packages/nixpkgs/catch2_3 | Modern, C++-native, test framework for unit-tests |
| packages/nixpkgs/chickenPackages_5.chickenEggs.protobj | A prototype-delegation object model |
| packages/nixpkgs/python313Packages.verilogae | Verilog-A tool useful for compact model parameter extraction |
| packages/nixpkgs/python314Packages.verilogae | Verilog-A tool useful for compact model parameter extraction |
| packages/nixpkgs/phonetisaurus | Framework for Grapheme-to-phoneme models for speech recognition using the OpenFst framework |
| packages/nixpkgs/qlementine-icons | Vector icon set for modern desktop Qt5/Qt6 applications |
| packages/nixpkgs/postgresql13Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| packages/nixpkgs/python313Packages.onnxruntime | Cross-platform, high performance scoring engine for ML models |
| packages/nixpkgs/python314Packages.onnxruntime | Cross-platform, high performance scoring engine for ML models |
| packages/nixpkgs/taskjuggler | Modern and powerful project management tool |
| packages/nixpkgs/haskellPackages.hCM | Conceptual modelling support for Haskell |
| packages/nixpkgs/python312Packages.verilogae | Verilog-A tool useful for compact model parameter extraction |
| packages/nixpkgs/postgresqlPackages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| packages/nixpkgs/python312Packages.onnxruntime | Cross-platform, high performance scoring engine for ML models |
| packages/nixpkgs/haskellPackages.HaLeX | HaLeX enables modelling, manipulation and visualization of regular languages |
| packages/nixpkgs/libfilezilla | Modern C++ library, offering some basic functionality to build high-performing, platform-independent programs |
| packages/nixpkgs/postgresql14Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| packages/nixpkgs/postgresql15Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| packages/nixpkgs/postgresql16Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| packages/nixpkgs/postgresql17Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| packages/nixpkgs/postgresql18Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| packages/nixpkgs/tokyocabinet | Tokyo Cabinet: a modern implementation of DBM |
| packages/nixpkgs/haskellPackages.prob-fx | A library for modular probabilistic modelling |
| packages/nixpkgs/haskellPackages.mathflow | Dependently typed tensorflow modeler |
| packages/nixpkgs/python313Packages.cxxheaderparser | Modern pure Python C++ header parser |
| packages/nixpkgs/python314Packages.cxxheaderparser | Modern pure Python C++ header parser |
| packages/nixpkgs/haskellPackages.adtrees | Modelling, rendering and quantitative analysis on attack defense trees |
| packages/nixpkgs/python312Packages.cxxheaderparser | Modern pure python C++ header parser |
| packages/nixpkgs/btanks | Fast 2d tank arcade game with multiplayer and split-screen modes |
| packages/nixpkgs/gocd-agent | Continuous delivery server specializing in advanced workflow modeling and visualization |
| packages/nixpkgs/grass | GIS software suite used for geospatial data management and analysis, image processing, graphics and maps production, spatial modeling, and visualization |
| packages/nixpkgs/gocd-server | Continuous delivery server specializing in advanced workflow modeling and visualization |
| packages/nixpkgs/libfive | Infrastructure for solid modeling with F-Reps in C, C++, and Guile |
| packages/nixpkgs/perlPackages.Filechmod | Implements symbolic and ls chmod modes |
| packages/nixpkgs/perl5Packages.Filechmod | Implements symbolic and ls chmod modes |
| packages/nixpkgs/haskellPackages.raml | RESTful API Modeling Language (RAML) library for Haskell |
| packages/nixpkgs/libsbsms | Subband sinusoidal modeling library for time stretching and pitch scaling audio |
| packages/nixpkgs/haskellPackages.teams | Graphical modeling tools for sequential teams |
| packages/nixpkgs/haskellPackages.zigbee-znet25 | XBee ZNet 2.5 (ZigBee) wireless modem communications |
| packages/nixpkgs/haskellPackages.mecha | A constructive solid geometry (CSG) modeling language |
| packages/nixpkgs/haskellPackages.wacom-daemon | Manage Wacom tablet settings profiles, including Intuos Pro ring modes |
| packages/nixpkgs/haskellPackages.smoothie | Smooth curves via several interpolation modes |
| packages/nixpkgs/haskellPackages.polysemy-methodology | Domain modelling algebra for polysemy |
| packages/nixpkgs/perl540Packages.Filechmod | Implements symbolic and ls chmod modes |
| packages/nixpkgs/perl538Packages.Filechmod | Implements symbolic and ls chmod modes |
| packages/nixpkgs/haskellPackages.cipher-aes128 | AES and common modes using AES-NI when available |
| packages/nixpkgs/haskellPackages.passage | Parallel code generation for hierarchical Bayesian modeling |
| packages/nixpkgs/haskellPackages.Jazzkell | Library for modeling jazz improvisation |
| packages/nixpkgs/texlivePackages.lstbayes | Listings language driver for Bayesian modeling languages |
| packages/nixpkgs/python312Packages.libfive | Infrastructure for solid modeling with F-Reps in C, C++, and Guile |
| packages/nixpkgs/haskellPackages.data-variant | A variant data type, useful for modeling dynamically-typed programming languages |
| packages/nixpkgs/python313Packages.libfive | Infrastructure for solid modeling with F-Reps in C, C++, and Guile |
| packages/nixpkgs/python314Packages.libfive | Infrastructure for solid modeling with F-Reps in C, C++, and Guile |
| packages/nixpkgs/haskellPackages.boardgame | Modeling boardgames |
| packages/nixpkgs/haskellPackages.waterfall-cad | Declarative CAD/Solid Modeling Library |
| packages/nixpkgs/libsbsms_2_3_0 | Subband sinusoidal modeling library for time stretching and pitch scaling audio |
| packages/nixpkgs/haskellPackages.scotty-resource | A Better way of modeling web resources |
| packages/nixpkgs/libsbsms_2_0_2 | Subband sinusoidal modeling library for time stretching and pitch scaling audio |
| packages/nixpkgs/opencascade-occt | Open CASCADE Technology, libraries for 3D modeling and numerical simulation |