| haskellPackages.bayes-stack | Framework for inferring generative probabilistic models with Gibbs sampling |
| haskellPackages.atmos | 1976 US Standard Atmosphere Model |
| haskellPackages.avers | Server-side implementation of the Avers storage model |
| haskellPackages.hVOIDP | Optimal variable selection in chain graphical model |
| haskellPackages.ivory-hw | Ivory hardware model (STM32F4) |
| haskellPackages.delta-h | Online entropy-based model of lexical category acquisition |
| haskellPackages.stm-actor | A simplistic actor model based on STM |
| haskellPackages.hmm-hmatrix | Hidden Markov Models using HMatrix primitives |
| haskellPackages.sc2-proto | A protocol buffer model for the Starcraft II bot API |
| haskellPackages.colour | A model for human colour/color perception |
| haskellPackages.smaoin | Utilities for the Smaoin semantic information model |
| haskellPackages.WaveFront | Parsers and utilities for the OBJ WaveFront 3D model format |
| haskellPackages.hermit | Haskell Equational Reasoning Model-to-Implementation Tunnel |
| haskellPackages.willow | An implementation of the web Document Object Model, and its rendering |
| haskellPackages.smcdel | Symbolic Model Checking for Dynamic Epistemic Logic |
| 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 |
| haskellPackages.lsh | A simple ls clone with modern, colored formatting |
| 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.mcp-server | Library for building Model Context Protocol (MCP) servers |
| haskellPackages.cattrap | Lays out boxes according to the CSS Box Model |
| haskellPackages.net-spider-rpl | NetSpider data model and utility for RPL networks |
| haskellPackages.io-machine | Easy I/O model to learn IO monad |
| haskellPackages.tasty | Modern and extensible testing framework |
| haskellPackages.align-affine | Sequence alignment with an affine gap penalty model |
| haskellPackages.hpack | A modern format for Haskell packages |
| haskellPackages.copilot-cbmc | Copilot interface to a C model-checker |
| haskellPackages.thock | A modern TUI typing game featuring online racing against friends |
| 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 |
| haskellPackages.base64 | A modern Base64 library |
| haskellPackages.goal-graphical | Optimization of latent variable and dynamical models with Goal |
| haskellPackages.cmathml3 | Data model, parser, serialiser and transformations for Content MathML 3 |
| haskellPackages.libriscv | A versatile, flexible and executable formal model for the RISC-V architecture |
| 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 |
| haskellPackages.sha256 | A modern binding to SHA256, HMAC, HKDF, and PBKDF2 |
| haskellPackages.deptrack-core | DepTrack Core types and model |
| haskellPackages.minizinc-process | A set of helpers to call minizinc models |
| haskellPackages.stacked | A modern indexed monad stack |
| haskellPackages.spectacle | Embedded specification language & model checker in Haskell |
| haskellPackages.CarneadesDSL | An implementation and DSL for the Carneades argumentation model |
| haskellPackages.sydtest | A modern testing framework for Haskell with good defaults and advanced testing features |
| haskellPackages.hs-aws-lambda | A modern and easy-to-use wrapper for Docker-based Lambda implementations. Now with API Gateway support! |
| haskellPackages.couch-simple | A modern, lightweight, complete client for CouchDB |
| haskellPackages.CarneadesIntoDung | A translation from the Carneades argumentation model into Dung's AFs |
| haskellPackages.trifecta | A modern parser combinator library with convenient diagnostics |
| haskellPackages.algebra-checkers | Model and test API surfaces algebraically |
| haskellPackages.tensorflow-mnist | TensorFlow demo application for learning MNIST model |
| haskellPackages.progressive | Multilabel classification model which learns sequentially (online) |
| haskellPackages.Shpadoinkle | A programming model for declarative, high performance user interface |
| haskellPackages.hpack_0_38_0 | A modern format for Haskell packages |
| haskellPackages.hpack_0_39_0 | A modern format for Haskell packages |
| haskellPackages.hpack_0_38_1 | A modern format for Haskell packages |
| haskellPackages.hpack_0_39_1 | A modern format for Haskell packages |
| haskellPackages.persistent-parser | Parse persistent model files |
| haskellPackages.restartable | Minimal live coding library for model-view-event-update applications |
| haskellPackages.quickcheck-state-machine | Test monadic programs using state machine based models |
| haskellPackages.intel-powermon | Poll modern Intel/AMD CPU power consumption on Linux via RAPL |
| haskellPackages.helium-overture | A backwards-compatible, modern replacement for the Prelude |
| haskellPackages.persistent-template-classy | Generate classy lens field accessors for persistent models |
| haskellPackages.sydtest_0_22_0_0 | A modern testing framework for Haskell with good defaults and advanced testing features |
| haskellPackages.quickcheck-state-machine-distributed | Test monadic programs using state machine based models |
| haskellPackages.prettyprinter | A modern, easy to use, well-documented, extensible pretty-printer |