| cbmc-viewer | Produces browsable summary of CBMC model checker output |
| lua52Packages.neorg | Modernity meets insane extensibility. The future of organizing your life in Neovim. |
| lua51Packages.neorg | Modernity meets insane extensibility. The future of organizing your life in Neovim. |
| lua54Packages.neorg | Modernity meets insane extensibility. The future of organizing your life in Neovim. |
| lua55Packages.neorg | Modernity meets insane extensibility. The future of organizing your life in Neovim. |
| lua53Packages.neorg | Modernity meets insane extensibility. The future of organizing your life in Neovim. |
| python313Packages.cvxpy | Domain-specific language for modeling convex optimization problems in Python |
| python314Packages.cvxpy | Domain-specific language for modeling convex optimization problems in Python |
| libsForQt5.qtutilities | Common Qt related C++ classes and routines used by @Martchus' applications such as dialogs, widgets and models Topics |
| frankenphp | Modern PHP app server |
| python313Packages.connect-box | Interact with a Compal CH7465LG cable modem/router |
| python314Packages.connect-box | Interact with a Compal CH7465LG cable modem/router |
| ocamlPackages.mirage-crypto | Simple symmetric cryptography for the modern age |
| home-assistant-custom-components.ha_mcp_tools | Home Assistant custom component for the MCP (Model Context Protocol) server |
| rocmPackages.composable_kernel | Performance portable programming model for machine learning tensor operators |
| ocamlPackages.mirage-crypto-pk | Simple public-key cryptography for the modern age |
| shipwright | PC port of Ocarina of Time with modern controls, widescreen, high-resolution, and more |
| python313Packages.mamba-ssm | Linear-Time Sequence Modeling with Selective State Spaces |
| python314Packages.mamba-ssm | Linear-Time Sequence Modeling with Selective State Spaces |
| atinout | Tool for talking to modems |
| qt6Packages.qtutilities | Common Qt related C++ classes and routines used by @Martchus' applications such as dialogs, widgets and models Topics |
| kdePackages.qtutilities | Common Qt related C++ classes and routines used by @Martchus' applications such as dialogs, widgets and models Topics |
| python314Packages.solidpython2 | Python frontend for solid modelling that compiles to OpenSCAD |
| python313Packages.solidpython2 | Python frontend for solid modelling that compiles to OpenSCAD |
| python312Packages.mip | Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs) |
| python312Packages.pytm | Pythonic framework for threat modeling |
| python312Packages.pyro-ppl | Library for probabilistic modeling and inference |
| ocamlPackages_latest.mirage-crypto | Simple symmetric cryptography for the modern age |
| hof | Framework that joins data models, schemas, code generation, and a task engine. Language and technology agnostic |
| python313Packages.lineedit | Readline library based on prompt_toolkit which supports multiple modes |
| python314Packages.lineedit | Readline library based on prompt_toolkit which supports multiple modes |
| ocamlPackages_latest.mirage-crypto-pk | Simple public-key cryptography for the modern age |
| python312Packages.pyomo | Python Optimization Modeling Objects |
| plasma5Packages.qtutilities | Common Qt related C++ classes and routines used by @Martchus' applications such as dialogs, widgets and models Topics |
| python312Packages.connect-box | Interact with a Compal CH7465LG cable modem/router |
| python313Packages.gluonts | Probabilistic time series modeling in Python |
| python314Packages.gluonts | Probabilistic time series modeling in Python |
| python312Packages.cvxpy | Domain-specific language for modeling convex optimization problems in Python |
| python312Packages.solidpython2 | Python frontend for solid modelling that compiles to OpenSCAD |
| python314Packages.slovnet | Deep-learning based NLP modeling for Russian language |
| python313Packages.slovnet | Deep-learning based NLP modeling for Russian language |
| k6 | Modern load testing tool, using Go and JavaScript |
| python312Packages.mamba-ssm | Linear-Time Sequence Modeling with Selective State Spaces |
| rocmPackages.composable_kernel_base | Performance portable programming model for machine learning tensor operators |
| enc | Modern and friendly alternative to GnuPG |
| python313Packages.docplex | IBM Decision Optimization CPLEX Modeling for Python |
| python314Packages.docplex | IBM Decision Optimization CPLEX Modeling for Python |
| d2 | Modern diagram scripting language that turns text to diagrams |
| python312Packages.lineedit | Readline library based on prompt_toolkit which supports multiple modes |
| libxcvt | VESA CVT standard timing modeline generation library & utility |
| kaf | Modern CLI for Apache Kafka, written in Go |
| python312Packages.mesa | Agent-based modeling (or ABM) framework in Python |
| python313Packages.mesa | Agent-based modeling (or ABM) framework in Python |
| rlama | Retrieval-Augmented Language Model Adapter |
| kdePackages.kitinerary | Data Model and Extraction System for Travel Reservation information |
| frei | Modern replacement for free |
| hugo | Fast and modern static website engine |
| python312Packages.gluonts | Probabilistic time series modeling in Python |
| python312Packages.slovnet | Deep-learning based NLP modeling for Russian language |
| autobrr | Modern, easy to use download automation for torrents and usenet |
| miktex | Modern TeX distribution |
| devilutionx | Diablo build for modern operating systems |
| hyprtoolkit | A modern C++ Wayland-native GUI toolkit |
| python312Packages.docplex | IBM Decision Optimization CPLEX Modeling for Python |
| age | Modern encryption tool with small explicit keys |
| gose | Modern and scalable file-uploader focusing on scalability and simplicity |
| oam-tools | Analysis and management tools for an Open Asset Model database |
| mox | Modern full-featured open source secure mail server for low-maintenance self-hosted email |
| gollama | Go manage your Ollama models |
| hexxy | Modern and beautiful alternative to xxd and hexdump |
| mathmod | Mathematical modelling software |
| micro | Modern and intuitive terminal-based text editor |
| llm | Access large language models from the command-line |
| llama-swap | Model swapping for llama.cpp (or any local OpenAPI compatible server) |
| macs2 | Model-based Analysis for ChIP-Seq |
| python313Packages.local-attention | Module for local windowed attention for language modeling |
| python314Packages.local-attention | Module for local windowed attention for language modeling |
| pdm | Modern Python package and dependency manager supporting the latest PEP standards |
| python313Packages.pyqwikswitch | QwikSwitch USB Modem API binding for Python |
| python314Packages.pyqwikswitch | QwikSwitch USB Modem API binding for Python |
| micro-full | Modern and intuitive terminal-based text editor |
| libyang | YANG data modelling language parser and toolkit |
| ginkgo | Modern Testing Framework for Go |
| python312Packages.pyqwikswitch | QwikSwitch USB Modem API binding for Python |
| python312Packages.local-attention | Module for local windowed attention for language modeling |
| gh-skyline | Generate a 3D model of your GitHub contribution history |
| micro-with-xclip | Modern and intuitive terminal-based text editor |
| hatch | Modern, extensible Python project manager |
| traefik | Modern reverse proxy |
| forgejo-mcp | Model Context Protocol (MCP) server for interacting with the Forgejo REST API |
| gitea-mcp-server | Gitea Model Context Protocol (MCP) Server |
| poptop | Modern top command that charts system metrics like CPU load, network IO, etc in the terminal |
| jumppad | Tool for building modern cloud native development environments |
| sipexer | Modern and flexible SIP CLI tool |
| katawa-shoujo-re-engineered | Fan-made modernization of the classic visual novel Katawa Shoujo |
| flamp | Digital modem program |
| marcel | Modern shell |
| minizinc | Medium-level constraint modelling language |
| buttplug-mcp | Buttplug.io Model Context Protocol (MCP) Server |
| httpy-cli | Modern, user-friendly, programmable command-line HTTP client for the API |