3 search results for "tag:"keyword:monad""

Showing 1 - 3
  1. coq-alea

    No documentation

    Coq library for reasoning on randomized algorithms
    category:Computer Science/Data Types and Data Structures keyword:randomized algorithm keyword:probability keyword:monads logpath:ALEA
    Christine Paulin-Mohring David Baelde Pierre Courtieu
    8.12.0
    LGPL-2.1-only
    Used by 0 other packages
    03 Nov 2021
  2. coq-reglang

    No documentation

    Representations of regular languages (i.e., regexps, various types of automata, and WS1S) with equivalence proofs, in Coq and MathComp
    category:Computer Science/Formal Languages Theory and Automata keyword:regular languages keyword:regular expressions keyword:finite automata keyword:two-way automata keyword:monadic second-order logic logpath:RegLang date:2024-01-19
    Christian Doczkal Jan-Oliver Kaiser Gert Smolka
    1.2.2
    CECILL-B
    Used by 1 other packages
    10 May 2025
  3. rocq-partial

    No documentation

    A Rocq library for extractable partial functions
    category:Computer Science/Semantics and Compilation/Semantics keyword:partial functions keyword:general recursion keyword:monad keyword:extraction logpath:Partial date:2026-10-08
    Théo Winterhalter <theo.winterhalter@inria.fr> Meven Lennon-Bertand <meven.lennon-bertrand@inria.fr> Kenji Maillard <kenji@maillard.blue>
    0.1
    MIT
    Used by 0 other packages
    08 Oct 2026