135 search results for "tag:"io""

Showing 101 - 135
  1. scgi
    Documentation
    Simple Common Gateway Interface (SCGI) protocol support for interface with HTTP servers
    scgi web application
    Mike Wells <https://github.com/mwells> Martin Jambon <https://github.com/mjambon> Bikal Lem <https://github.com/bikallem>
    1.0
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2019
  2. sfml
    Documentation
    Bindings to the SFML multimedia library
    bindings graphics audio multimedia gamedev opengl network
    Florent Monnier Sylvain Boilard
    0.09.2
    zlib-acknowledgement
    Used by 0 other packages
    06 Aug 2022
  3. shakuhachi

    No documentation

    A music collection manager
    music collection music tagger
    EruEri <nayinayu@mailo.com>
    0.2.0
    GPL-3.0-or-later AND MPL-2.0
    Used by 0 other packages
    25 Jan 2026
  4. slipshow
    Documentation
    A compiler from markdown to slipshow
    slipshow presentation slideshow beamer
    Paul-Elliot
    0.10.0
    GPL-3.0-or-later; ISC; BSD-3-Clause; Apache-2.0; OFL-1.1
    Used by 1 other packages
    14 Mar 2026
  5. snf_mcp
    Documentation
    A Model Context Protocol server for web search and content fetching
    mcp fetch search web eio ocaml
    Marcello Seri <marcello.seri@gmail.com>
    0.2.1
    ISC
    Used by 0 other packages
    10 Sep 2025
  6. snkv

    No documentation

    OCaml bindings for SNKV key-value store
    database key-value sqlite binding encryption ttl
    Tomasz Barański <tomasz.baranski@posteo.net>
    0.1.1
    Apache-2.0
    Used by 0 other packages
    09 Apr 2026
  7. sowilo
    Documentation
    Differentiable computer vision for OCaml
    computer-vision image-processing feature-detection machine-learning
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    17 Mar 2026
  8. stog-rdf

    No documentation

    Plugin for Stog. Define and query RDF graphs in rewrite rules.
    publication rdf sparql semantic web
    Maxence Guesdon
    0.16.1
    GPL-3.0-only
    Used by 0 other packages
    22 Mar 2016
  9. stog-writing
    Documentation
    Stog plugin adding new rewrite rules to use footnotes and bibliographies in documents
    publication web blog bibliography
    Zoggy <zoggy@bat8.org>
    0.19.0
    GPL-3.0-only
    Used by 0 other packages
    18 May 2021
  10. subprocess
    Documentation
    Nice interfaces handling I/O with Unix commands
    unix processes io commands
    Aaron Christianson
    0.2.1
    MPL-2.0
    Used by 0 other packages
    09 Apr 2025
  11. sundialsml

    No documentation

    Interface to the Sundials suite of numerical solvers
    numerical simulation mathematics science
    Timothy Bourke <tim@tbrk.org> Jun Inoue <Jun.Lambda@gmail.com> Marc Pouzet <Marc.Pouzet@ens.fr>
    6.1.1p1
    BSD-3-Clause
    Used by 1 other packages
    21 Mar 2022
  12. 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.2
    AGPL-3.0-or-later
    Used by 0 other packages
    05 Mar 2026
  13. tabr
    Documentation
    Functional utilities
    topics Functional utilities Branislav Lazic tabr
    Branislav Lazic
    0.1.2
    MIT
    Used by 0 other packages
    08 Mar 2024
  14. talon
    Documentation
    Dataframes for OCaml
    dataframe data-manipulation data-science tabular-data
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    17 Mar 2026
  15. 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
  16. testcontainers
    Documentation
    Docker containers for OCaml integration tests
    docker testing integration-testing containers testcontainers
    Sachin Beniwal <sachinbeniwal0101@gmail.com>
    0.1.0
    Apache-2.0
    Used by 10 other packages
    18 Feb 2026
  17. 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
  18. tsdl
    Documentation
    Thin bindings to SDL for OCaml
    audio bindings graphics media opengl input hci org:erratique
    The tsdl programmers
    1.3.0
    ISC
    Used by 15 other packages
    28 Mar 2026
  19. 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
  20. uunf
    Documentation
    Unicode text normalization for OCaml
    unicode text normalization org:erratique
    The uunf programmers
    17.0.0
    ISC
    Used by 14 other packages
    11 Sep 2025
  21. uuseg
    Documentation
    Unicode text segmentation for OCaml
    unicode text segmentation org:erratique
    The uuseg programmers
    17.0.0
    ISC
    Used by 14 other packages
    11 Sep 2025
  22. 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
  23. valkey

    No documentation

    Modern Valkey client for OCaml 5 + Eio (RESP3-only)
    valkey redis eio client resp3 cluster
    Avi Fenesh <aviarchi1994@gmail.com>
    0.3.1
    MIT
    Used by 0 other packages
    02 May 2026
  24. volgo-git-eio
    Documentation
    A Git backend for Vcs based on Volgo_git_backend for Eio programs
    eio git vcs non-blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 1 other packages
    30 Jan 2026
  25. volgo-git-unix
    Documentation
    A Git backend for Vcs based on Volgo_git_backend and the Unix library
    git vcs blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 4 other packages
    30 Jan 2026
  26. volgo-hg-eio
    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.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    30 Jan 2026
  27. volgo-hg-unix
    Documentation
    A Mercurial backend for Vcs based on Volgo_hg_backend and the Unix library
    git mercurial vcs blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 3 other packages
    30 Jan 2026
  28. why3
    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.2
    LGPL-2.1-only
    Used by 8 other packages
    19 Sep 2025
  29. why3-coq
    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.2
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2025
  30. why3-ide
    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.2
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2025
  31. 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
  32. yamlx

    No documentation

    Pure-OCaml YAML 1.2/1.1 parser with a lossless, comment-preserving AST
    yaml parser serialization
    Martin Jambon <martin@mjambon.com>
    0.3.0
    AGPL-3.0-only
    Used by 1 other packages
    24 Apr 2026
  33. yultracer
    Documentation
    A bounded safety checker for Yul
    yul evm interpreter game-semantics safety-checker assertions verification symbolic-execution blockchain ethereum
    Yu-Yang Lin
    0.2.0
    MIT
    Used by 0 other packages
    09 Mar 2026
  34. 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
  35. 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