| packages/nixpkgs/lua55Packages.neorg | Modernity meets insane extensibility |
| packages/nixpkgs/lua53Packages.neorg | Modernity meets insane extensibility |
| packages/nixpkgs/atinout | Tool for talking to modems |
| packages/nixpkgs/libxcvt | VESA CVT standard timing modeline generation library & utility |
| packages/nixpkgs/mathmod | Mathematical modelling software |
| packages/nixpkgs/libyang | YANG data modelling language parser and toolkit |
| packages/nixpkgs/katawa-shoujo-re-engineered | Fan-made modernization of the classic visual novel Katawa Shoujo |
| packages/nixpkgs/flamp | Digital modem program |
| packages/nixpkgs/minizinc | Medium-level constraint modelling language |
| packages/nixpkgs/minizinc-ide | IDE for MiniZinc, a medium-level constraint modelling language |
| packages/nixpkgs/fldigi | Digital modem program |
| packages/nixpkgs/minizincide | IDE for MiniZinc, a medium-level constraint modelling language |
| packages/nixpkgs/minicom | Modem control and terminal emulation program |
| packages/nixpkgs/ceptre | Linear logic programming language for modeling generative interactive systems |
| packages/nixpkgs/systemc | Language for System-level design, modeling and verification |
| packages/nixpkgs/ceres-solver | C++ library for modeling and solving large, complicated optimization problems |
| packages/nixpkgs/haskellPackages.fastbayes | Bayesian modeling algorithms accelerated for particular model structures |
| packages/nixpkgs/timeloop | Chip modeling/mapping benchmarking framework |
| packages/nixpkgs/statserial | Display serial port modem status lines |
| packages/nixpkgs/openturns | Multivariate probabilistic modeling and uncertainty treatment library |
| packages/nixpkgs/chickenPackages_5.chickenEggs.salt | Hybrid dynamical systems modeling. |
| packages/nixpkgs/sgp4 | Simplified perturbations models library |
| packages/nixpkgs/python312Packages.openturns | Multivariate probabilistic modeling and uncertainty treatment library |
| packages/nixpkgs/python313Packages.openturns | Multivariate probabilistic modeling and uncertainty treatment library |
| packages/nixpkgs/python314Packages.openturns | Multivariate probabilistic modeling and uncertainty treatment library |
| packages/nixpkgs/python312Packages.pythonocc-core | Python wrapper for the OpenCASCADE 3D modeling kernel |
| packages/nixpkgs/python313Packages.pythonocc-core | Python wrapper for the OpenCASCADE 3D modeling kernel |
| packages/nixpkgs/python314Packages.pythonocc-core | Python wrapper for the OpenCASCADE 3D modeling kernel |
| packages/nixpkgs/alloy | Language & tool for relational models |
| packages/nixpkgs/adms | Automatic device model synthesizer |
| packages/nixpkgs/spip | Random forest model for splice prediction in genomics |
| packages/nixpkgs/alloy5 | Language & tool for relational models |
| packages/nixpkgs/alloy6 | Language & tool for relational models |
| packages/nixpkgs/mcrl2 | Toolset for model-checking concurrent systems and protocols |
| packages/nixpkgs/dssat | Cropping System Model |
| packages/nixpkgs/hdf5-cpp | Data model, library, and file format for storing and managing data |
| packages/nixpkgs/megam | MEGA Model Optimization Package |
| packages/nixpkgs/zlog | Reliable, high-performance, thread safe, flexible, clear-model, pure C logging library |
| packages/nixpkgs/ollama-cpu | Get up and running with large language models locally |
| packages/nixpkgs/ollama | Get up and running with large language models locally |
| packages/nixpkgs/qui | Modern alternative webUI for qBittorrent, with multi-instance support |
| packages/nixpkgs/cbmc | Bounded Model Checker for C and C++ programs |
| packages/nixpkgs/hypr | Tiling X11 window manager written in modern C++ |
| packages/nixpkgs/hmmer | Biosequence analysis using profile hidden Markov models |
| packages/nixpkgs/libdom | Document Object Model library for netsurf browser |
| packages/nixpkgs/python314Packages.torcheval | Rich collection of performant PyTorch model metrics and tools for PyTorch model evaluations |
| packages/nixpkgs/python313Packages.torcheval | Rich collection of performant PyTorch model metrics and tools for PyTorch model evaluations |
| packages/nixpkgs/perl5Packages.DeviceSerialPort | Linux/POSIX emulation of Win32::SerialPort functions |
| packages/nixpkgs/aks-mcp-server | Model Context Protocol server for Azure Kubernetes Service |
| packages/nixpkgs/netsurf.libdom | Document Object Model library for netsurf browser |
| packages/nixpkgs/hdf4 | Data model, library, and file format for storing and managing data |
| packages/nixpkgs/python312Packages.torcheval | Rich collection of performant PyTorch model metrics and tools for PyTorch model evaluations |
| packages/nixpkgs/wfview | Open-source software for the control of modern Icom radios |
| packages/nixpkgs/cubicle | Open source model checker for verifying safety properties of array-based systems |
| packages/nixpkgs/hdf5 | Data model, library, and file format for storing and managing data |
| packages/nixpkgs/ariang | Modern web frontend making aria2 easier to use |
| packages/nixpkgs/caf | Open source implementation of the actor model in C++ |
| packages/nixpkgs/tlaplus | Algorithm specification language with model checking tools |
| packages/nixpkgs/hdf5-mpi | Data model, library, and file format for storing and managing data |
| packages/nixpkgs/llama-cpp | Inference of Meta's LLaMA model (and others) in pure C/C++ |
| packages/nixpkgs/degate | Modern and open-source cross-platform software for chips reverse engineering |
| packages/nixpkgs/cgreen | Modern Unit Test and Mocking Framework for C and C++ |
| packages/nixpkgs/openscad | 3D parametric model compiler |
| packages/nixpkgs/bugdom | Port of Bugdom, a 1999 Macintosh game by Pangea Software, for modern operating systems |
| 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/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/tegaki-zinnia-japanese | Japanese handwriting model for the Zinnia engine |
| 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/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/hdf5-fortran-mpi | Data model, library, and file format for storing and managing data |
| 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/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/postgresql13Packages.pgsodium | Modern cryptography for PostgreSQL using libsodium |
| packages/nixpkgs/hdf5-threadsafe | Data model, library, and file format for storing and managing data |