118 search results for "tag:"io""

Showing 101 - 118
  1. tabr
    Documentation
    Functional utilities
    topics Functional utilities Branislav Lazic tabr
    Branislav Lazic
    0.1.2
    MIT
    Used by 0 other packages
    08 Mar 2024
  2. telemetry
    Documentation
    A lightweight library for dispatching and handling events, with a focus on metrics and instrumentation
    topics telemetry events metrics instrumentation
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 3 other packages
    09 Nov 2023
  3. trail
    Documentation
    A minimalistic, composable web framework for building HTTP/WebSocket servers
    composable web framework http websockets ws riot multicore
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    24 Apr 2024
  4. tsdl
    Documentation
    Thin bindings to SDL for OCaml
    audio bindings graphics media opengl input hci org:erratique
    The tsdl programmers
    1.1.0
    ISC
    Used by 11 other packages
    13 Sep 2024
  5. tsdl-mixer
    Documentation
    SDL2_Mixer bindings to go with Tsdl
    tsdl SDL audio bindings
    Julian Squires <julian@cipht.net>
    0.6
    BSD-3-Clause
    Used by 0 other packages
    08 Aug 2023
  6. uunf
    Documentation
    Unicode text normalization for OCaml
    unicode text normalization org:erratique
    The uunf programmers
    16.0.0
    ISC
    Used by 10 other packages
    12 Sep 2024
  7. uuseg
    Documentation
    Unicode text segmentation for OCaml
    unicode text segmentation org:erratique
    The uuseg programmers
    16.0.0
    ISC
    Used by 11 other packages
    12 Sep 2024
  8. validate
    Documentation
    OCaml library enabling efficient data validation through PPX derivers and a suite of annotation-based validators
    validation ppx
    Mateusz Ledwoń <mateuszledwon@duck.com>
    1.1.0
    MIT
    Used by 0 other packages
    01 Feb 2024
  9. volgo-git-eio

    No documentation

    A Git backend for Vcs based on Volgo_git_backend for Eio programs
    eio git vcs non-blocking-io
    Mathieu Barbin
    0.0.18
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 1 other packages
    12 Jun 2025
  10. volgo-git-unix

    No documentation

    A Git backend for Vcs based on Volgo_git_backend and the Unix library
    git vcs blocking-io
    Mathieu Barbin
    0.0.18
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 3 other packages
    12 Jun 2025
  11. volgo-hg-eio

    No documentation

    A Mercurial backend for Vcs based on Volgo_hg_backend for Eio programs
    eio git mercurial vcs non-blocking-io
    Mathieu Barbin
    0.0.18
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    12 Jun 2025
  12. volgo-hg-unix

    No documentation

    A Mercurial backend for Vcs based on Volgo_hg_backend and the Unix library
    git mercurial vcs blocking-io
    Mathieu Barbin
    0.0.18
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 2 other packages
    12 Jun 2025
  13. why3

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.1
    LGPL-2.1-only
    Used by 7 other packages
    09 Jun 2025
  14. why3-coq

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jun 2025
  15. why3-ide

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jun 2025
  16. 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
  17. zarr
    Documentation
    An Ocaml implementation of the Zarr V3 specification
    zarr chunked arrays zarr version 3
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 3 other packages
    07 Sep 2024
  18. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
1 2 3