| qui | Modern alternative webUI for qBittorrent, with multi-instance support |
| perl5Packages.DeviceSerialPort | Linux/POSIX emulation of Win32::SerialPort functions |
| cbmc | Bounded Model Checker for C and C++ programs |
| hypr | Tiling X11 window manager written in modern C++ |
| hmmer | Biosequence analysis using profile hidden Markov models |
| libdom | Document Object Model library for netsurf browser |
| python314Packages.torcheval | Rich collection of performant PyTorch model metrics and tools for PyTorch model evaluations |
| python313Packages.torcheval | Rich collection of performant PyTorch model metrics and tools for PyTorch model evaluations |
| aks-mcp-server | Model Context Protocol server for Azure Kubernetes Service |
| hdf4 | Data model, library, and file format for storing and managing data |
| netsurf.libdom | Document Object Model library for netsurf browser |
| python312Packages.torcheval | Rich collection of performant PyTorch model metrics and tools for PyTorch model evaluations |
| wfview | Open-source software for the control of modern Icom radios |
| cubicle | Open source model checker for verifying safety properties of array-based systems |
| hdf5 | Data model, library, and file format for storing and managing data |
| ariang | Modern web frontend making aria2 easier to use |
| caf | Open source implementation of the actor model in C++ |
| tlaplus | Algorithm specification language with model checking tools |
| hdf5-mpi | Data model, library, and file format for storing and managing data |
| llama-cpp | Inference of Meta's LLaMA model (and others) in pure C/C++ |
| degate | Modern and open-source cross-platform software for chips reverse engineering |
| cgreen | Modern Unit Test and Mocking Framework for C and C++ |
| openscad | 3D parametric model compiler |
| bugdom | Port of Bugdom, a 1999 Macintosh game by Pangea Software, for modern operating systems |
| llama-cpp-rocm | Inference of Meta's LLaMA model (and others) in pure C/C++ |
| posting | Modern API client that lives in your terminal |
| rbdoom-3-bfg | Doom 3 BFG Edition with modern engine features |
| proverif | Cryptographic protocol verifier in the formal model |
| biboumi | Modern XMPP IRC gateway |
| paper-plane | Chat over Telegram on a modern and elegant client |
| contour | Modern C++ Terminal Emulator |
| xcursor-pro | Modern XCursors |
| koboldcpp | Way to run various GGML and GGUF models |
| llama-cpp-vulkan | Inference of Meta's LLaMA model (and others) in pure C/C++ |
| glucose | Modern, parallel SAT solver (sequential version) |
| tlaplus18 | Algorithm specification language with model checking tools |
| proverifWithGui | Cryptographic protocol verifier in the formal model |
| hdf5_1_10 | Data model, library, and file format for storing and managing data |
| tegaki-zinnia-japanese | Japanese handwriting model for the Zinnia engine |
| jasper-gtk-theme | Modern and clean Gtk theme |
| opengrm-ngram | Library to make and modify n-gram language models encoded as weighted finite-state transducers |
| argparse | Argument Parser for Modern C++ |
| smb3-foundry | Modern Super Mario Bros. 3 Level Editor |
| libhandy | Building blocks for modern adaptive GNOME apps |
| glucose-syrup | Modern, parallel SAT solver (parallel version) |
| colloid-gtk-theme | Modern and clean Gtk theme |
| hdf5-fortran | Data model, library, and file format for storing and managing data |
| etherpad-lite | Modern really-real-time collaborative document editor |
| hdf5-fortran-mpi | Data model, library, and file format for storing and managing data |
| onnxruntime | Cross-platform, high performance scoring engine for ML models |
| wmderland | Modern and minimal X11 tiling window manager |
| cambalache | RAD tool for GTK 4 and 3 with data model first philosophy |
| newsflash | Modern feed reader designed for the GNOME desktop |
| openscad-unstable | 3D parametric model compiler (unstable) |
| chickenPackages_5.chickenEggs.llama | Inference with Llama2 model. |
| libunicode | Modern C++20 Unicode library |
| cryptoverif | Cryptographic protocol verifier in the computational model |
| qlementine | Modern QStyle for desktop Qt6 applications |
| postgresql13Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| hdf5-threadsafe | Data model, library, and file format for storing and managing data |
| chickenPackages_5.chickenEggs.protobj | A prototype-delegation object model |
| python314Packages.verilogae | Verilog-A tool useful for compact model parameter extraction |
| python313Packages.verilogae | Verilog-A tool useful for compact model parameter extraction |
| phonetisaurus | Framework for Grapheme-to-phoneme models for speech recognition using the OpenFst framework |
| qlementine-icons | Vector icon set for modern desktop Qt5/Qt6 applications |
| python313Packages.onnxruntime | Cross-platform, high performance scoring engine for ML models |
| python314Packages.onnxruntime | Cross-platform, high performance scoring engine for ML models |
| taskjuggler | Modern and powerful project management tool |
| toml11 | TOML for Modern C++ |
| python312Packages.verilogae | Verilog-A tool useful for compact model parameter extraction |
| postgresqlPackages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| python312Packages.onnxruntime | Cross-platform, high performance scoring engine for ML models |
| libfilezilla | Modern C++ library, offering some basic functionality to build high-performing, platform-independent programs |
| postgresql15Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| postgresql16Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| postgresql18Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| postgresql14Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| postgresql17Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| tokyocabinet | Tokyo Cabinet: a modern implementation of DBM |
| haskellPackages.hOff-parser | The parser to parser the OFF(Object File Format, Princeton ModelNet) |
| catch2_3 | Modern, C++-native, test framework for unit-tests |
| haskellPackages.persistent-audit | Parses a Persist Model file and produces Audit Models |
| haskellPackages.suffix-array | Simple and moderately efficient suffix array implementation |
| python313Packages.cxxheaderparser | Modern pure Python C++ header parser |
| python314Packages.cxxheaderparser | Modern pure Python C++ header parser |
| python312Packages.cxxheaderparser | Modern pure python C++ header parser |
| python313Packages.python-sat | Toolkit for SAT-based prototyping in Python (without optional dependencies) |
| python314Packages.python-sat | Toolkit for SAT-based prototyping in Python (without optional dependencies) |
| haskellPackages.ncurses | Modernised bindings to GNU ncurses |
| edid-generator | Hackerswork to generate an EDID blob from given Xorg Modelines |
| evilpixie | Pixel-oriented paint program, modelled on Deluxe Paint |
| perlPackages.DeviceSerialPort | Linux/POSIX emulation of Win32::SerialPort functions |
| perplexity-mcp | The official MCP server implementation for the Perplexity API Platform |
| texlivePackages.grid-system | Page organisation, modelled on CSS facilities |
| perl538Packages.DeviceSerialPort | Linux/POSIX emulation of Win32::SerialPort functions |
| perl540Packages.DeviceSerialPort | Linux/POSIX emulation of Win32::SerialPort functions |
| curv | 2D and 3D geometric modelling programming language for creating art with maths |
| fmi-reference-fmus | Functional Mock-up Units for development, testing and debugging |
| haskellPackages.vcache-trie | patricia tries modeled above VCache |
| haskellPackages.hCM | Conceptual modelling support for Haskell |