| haskellPackages.smcdel | Symbolic Model Checking for Dynamic Epistemic Logic |
| texlivePackages.tex-ini-files | Model TeX format creation files |
| lightly-boehs | Fork of the Lightly breeze theme style that aims to be visually modern and minimalistic |
| perl5Packages.CursesUIGrid | Create and manipulate data in grid model |
| rigel-engine | Modern re-implementation of the classic DOS game Duke Nukem II |
| texlivePackages.pl | Polish extension of Computer Modern fonts |
| texlivePackages.ec | Computer modern fonts in T1 and TS1 encodings |
| texlivePackages.cs | Czech/Slovak-tuned Computer Modern fonts |
| haskellPackages.multi-trie | Trie of sets, as a model for compound names having multiple values |
| haskellPackages.entangle | An application (and library) to convert quipper circuits into Qpmc models |
| gnupg | Modern release of the GNU Privacy Guard, a GPL OpenPGP implementation |
| haskellPackages.lsh | A simple ls clone with modern, colored formatting |
| texlivePackages.eskd | Modern Russian typesetting |
| texlivePackages.cfr-lm | Enhanced support for the Latin Modern fonts |
| kicad-unstable-small | Open Source EDA suite, latest on master branch, without 3D models |
| haskellPackages.gridbox | A grid box model |
| haskellPackages.nested-sets | Nested set model implementation |
| haskellPackages.learning-hmm | Yet another library for hidden Markov models |
| haskellPackages.swagger | Implementation of swagger data model |
| haskellPackages.CMCompare | Infernal covariance model comparison |
| haskellPackages.haskseg | Simple unsupervised segmentation model |
| haskellPackages.cattrap | Lays out boxes according to the CSS Box Model |
| haskellPackages.mcp-server | Library for building Model Context Protocol (MCP) servers |
| haskellPackages.net-spider-rpl | NetSpider data model and utility for RPL networks |
| texlivePackages.lm-math | OpenType maths fonts for Latin Modern |
| texlivePackages.eskdx | Modern Russian typesetting |
| texlivePackages.tikz-bayesnet | Draw Bayesian networks, graphical models and directed factor graphs |
| texlivePackages.cmsrb | Computer Modern for Serbian and Macedonian |
| haskellPackages.io-machine | Easy I/O model to learn IO monad |
| cm_unicode | Computer Modern Unicode fonts |
| haskellPackages.tasty | Modern and extensible testing framework |
| texlivePackages.minim | A modern plain format for the LuaTeX engine |
| texlivePackages.cmcyr | Computer Modern fonts with cyrillic extensions |
| texlivePackages.esint | Extended set of integrals for Computer Modern |
| texlivePackages.zlmtt | Use Latin Modern Typewriter fonts |
| akkuPackages.slib-daylight | Model of sun and sky colors |
| haskellPackages.align-affine | Sequence alignment with an affine gap penalty model |
| haskellPackages.hpack | A modern format for Haskell packages |
| structurizr-cli | Structurizr CLI for publishing C4 architecture diagrams and models |
| python313Packages.pyldavis | Python library for interactive topic model visualization |
| python314Packages.pyldavis | Python library for interactive topic model visualization |
| sobjectizer | Implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework |
| perl540Packages.CursesUIGrid | Create and manipulate data in grid model |
| perl538Packages.CursesUIGrid | Create and manipulate data in grid model |
| haskellPackages.copilot-cbmc | Copilot interface to a C model-checker |
| haskellPackages.thock | A modern TUI typing game featuring online racing against friends |
| libsodium | Modern and easy-to-use crypto library |
| haskellPackages.fortran-vars | Fortran memory model and other static analysis tools |
| haskellPackages.swagger2 | Swagger 2.0 data model |
| haskellPackages.openapi3 | OpenAPI 3.0 data model |
| cascadia-code | Monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal |
| haskellPackages.base64 | A modern Base64 library |
| texlivePackages.cmpica | A Computer Modern Pica variant |
| comfortaa | Clean and modern font suitable for headings and logos |
| micronaut | Modern, JVM-based, full-stack framework for building microservice applications |
| libremidi | Modern C++ MIDI real-time & file I/O library |
| haskellPackages.goal-graphical | Optimization of latent variable and dynamical models with Goal |
| haskellPackages.libriscv | A versatile, flexible and executable formal model for the RISC-V architecture |
| haskellPackages.cmathml3 | Data model, parser, serialiser and transformations for Content MathML 3 |
| haskellPackages.protocol | Model distributed system as type-level multi-party protocol |
| haskellPackages.simple-actors | A library for more structured concurrent programming, based on the Actor Model |
| haskellPackages.funsat | A modern DPLL-style SAT solver |
| perlPackages.CryptBcrypt | Modern bcrypt implementation |
| texlivePackages.gillcm | Alternative unslanted italic Computer Modern fonts |
| haskellPackages.sha256 | A modern binding to SHA256, HMAC, HKDF, and PBKDF2 |
| libnest2d | 2D irregular bin packaging and nesting library written in modern C++ |
| perl5Packages.CryptBcrypt | Modern bcrypt implementation |
| haskellPackages.deptrack-core | DepTrack Core types and model |
| emacsPackages.eaf-browser | Modern browser in Emacs |
| perlPackages.NumberFraction | Perl extension to model fractions |
| rainloop-standard | Simple, modern & fast web-based email client |
| texlivePackages.old-arrows | Computer Modern old-style arrows with smaller arrowheads |
| haskellPackages.minizinc-process | A set of helpers to call minizinc models |
| python312Packages.pyldavis | Python library for interactive topic model visualization |
| perl5Packages.NumberFraction | Perl extension to model fractions |
| fcitx5-mellow-themes | Aesthetic, modern fcitx5 theme featuring rounded rectangle design |
| haskellPackages.stacked | A modern indexed monad stack |
| texlivePackages.cmupint | Upright integral symbols for Computer Modern |
| texlivePackages.eulerpx | A modern interface for the Euler math fonts |
| texlivePackages.colorinfo | Retrieve colour model and values for defined colours |
| haskellPackages.spectacle | Embedded specification language & model checker in Haskell |
| fcitx5-inflex-themes | Aesthetic, modern fcitx5 theme featuring sharp-edged rectangle design |
| texlivePackages.cmathbb | Computer modern mathematical blackboard bold font |
| haskellPackages.CarneadesDSL | An implementation and DSL for the Carneades argumentation model |
| texlivePackages.decision-table | An easy way to create Decision Model and Notation decision tables |
| texlivePackages.cm-unicode | Computer Modern Unicode font family |
| texlivePackages.mpfonts | Computer Modern Type 3 fonts converted using MetaPost |
| snappymail | Simple, modern & fast web-based email client |
| texlivePackages.hyphen-greek | Modern Greek hyphenation patterns. |
| texlivePackages.fixcmex | Fully scalable version of Computer Modern Math Extension font |
| linphonePackages.belle-sip | Modern library implementing SIP (RFC 3261) transport, transaction and dialog layers. Part of the Linphone project |
| haskellPackages.sydtest | A modern testing framework for Haskell with good defaults and advanced testing features |
| haskellPackages.couch-simple | A modern, lightweight, complete client for CouchDB |
| haskellPackages.hs-aws-lambda | A modern and easy-to-use wrapper for Docker-based Lambda implementations. Now with API Gateway support! |
| perl538Packages.CryptBcrypt | Modern bcrypt implementation |
| perl540Packages.CryptBcrypt | Modern bcrypt implementation |
| libstudxml | Streaming XML pull parser and streaming XML serializer implementation for modern, standard C++ |
| nbsdgames | Package of 18 text-based modern games |
| texlivePackages.cmbright | Computer Modern Bright fonts |
| perl538Packages.NumberFraction | Perl extension to model fractions |