8 search results for "tag:"monad""

Showing 1 - 8
  1. interface-prime
    Documentation
    Interfaces for common design patterns
    interface monad io lwt
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 2 other packages
    15 Jan 2019
  2. interface-prime-lwt
    Documentation
    Interfaces for common design patterns (LWT implementation)
    interface monad io lwt
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    15 Jan 2019
  3. lemonade
    Documentation
    A monad library with bubbles
    pattern monad
    Michael Grünewald
    0.6.0
    CeCILL-B
    Used by 2 other packages
    30 Jun 2016
  4. lemonade-sqlite
    Documentation
    A monadic interface to sqlite
    sql sqlite monad
    Michael Grünewald
    0.1.0
    CeCILL-B
    Used by 0 other packages
    18 Mar 2016
  5. preface
    Documentation
    An opinionated library for function programming (à La Haskell)
    library standard monad
    Didier Plaindoux <d.plaindoux@free.fr> Pierre Ruyter <grimfw@gmail.com> Xavier Van de Woestyne <xaviervdw@gmail.com>
    1.1.0
    MIT
    Used by 0 other packages
    04 Mar 2025
  6. seqes
    Documentation
    Seq with monads
    monad seq
    Raphaël Proust
    0.4
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Feb 2025
  7. symex
    Documentation
    Primitives to write symbolic execution engines
    symbolic execution path condition monad solver
    redianthus <leo@ocaml.pro> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Arthur Carcano <arthur.carcano@ocamlpro.com> Basile Clément <basile.clement@ocamlpro.com
    0.1
    AGPL-3.0-or-later
    Used by 0 other packages
    09 Feb 2026
  8. ws
    Documentation
    Generic websocket implementation for OCaml
    monad io interface interface-prime websocket ws
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    18 Jan 2019