146 search results for "tag:"io""

Showing 101 - 146
  1. provider
    Documentation
    Dynamic Dispatch with Traits
    dynamic-dispatch parametrization traits typeclasses
    Mathieu Barbin
    0.0.11
    ISC
    Used by 0 other packages
    Added to opam-repository
  2. qcaml
    Documentation
    OCaml library for quantum computing simulation
    quantum computing simulation qubits gates visualization bloch-sphere
    Elias GAUTHIER
    1.0.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  3. raven
    Documentation
    Modern scientific computing for OCaml
    machine-learning data-science numerical-computation
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 0 other packages
    Added to opam-repository
  4. relude
    Documentation
    Alternative standard library (prelude) for ReasonML
    ReasonML Melange functional programming prelude standard library
    Michael Martin Andy White John Haley
    3.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  5. requisite
    Documentation
    Validated values, confidence gates, and per-value freshness
    validated-values trusted-types refinement-types proof-types confidence-levels trust-boundary exhaustive-matching stale-data typestate validation taint-tracking freshness ttl monotonic-time data-safety
    Stephen Olesen <slepp@slepp.ca>
    0.1.0
    MIT OR Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  6. rio
    Documentation
    Ergonomic, composable, efficient read/write streams
    multicore io streams read write
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.8
    MIT
    Used by 5 other packages
    Added to opam-repository
  7. rizzo
    Documentation
    FRP library implementation of Rizzo
    FRP space leaks time leaks signals channels functional reactive programming
    Patrick Matthiesen tjobi
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. rune
    Documentation
    Functional transformations for Nx arrays
    automatic-differentiation machine-learning deep-learning optimization
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 2 other packages
    Added to opam-repository
  9. saga
    Documentation
    Text processing and NLP extensions for Nx
    text-processing nlp natural-language-processing tokenization
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 3 other packages
    Added to opam-repository
  10. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    pena <pena@kumikode.org>
    0.5
    ISC
    Used by 1 other packages
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. 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
    Added to opam-repository
  13. shakuhachi
    Documentation
    A music collection manager
    music collection music tagger
    EruEri <nayinayu@mailo.com>
    0.3.2
    GPL-3.0-or-later AND MPL-2.0
    Used by 0 other packages
    Added to opam-repository
  14. slipshow
    Documentation
    A compiler from Markdown to slipshow
    slipshow presentation slideshow beamer
    Paul-Elliot
    0.12.0
    GPL-3.0-or-later; ISC; BSD-3-Clause; Apache-2.0; OFL-1.1
    Used by 1 other packages
    Added to opam-repository
  15. 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
    Added to opam-repository
  16. snkv
    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
    Added to opam-repository
  17. 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
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. 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
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. 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.3
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  23. tabr
    Documentation
    Functional utilities
    topics Functional utilities Branislav Lazic tabr
    Branislav Lazic
    0.1.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  24. talon
    Documentation
    Dataframes for OCaml
    dataframe data-manipulation data-science tabular-data
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. 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
    Added to opam-repository
  27. trail

    No 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
    Added to opam-repository
  28. 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
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. union-find-lattice
    Documentation
    Persistent union-find data-structures with lattice operations (order, meet, join)
    union-find persistent lattice join meet
    Dorian Lesbre <dorian.lesbre@cea.fr> Matthieu Lemerre <matthieu.lemerre@cea.fr>
    0.1.0
    lgpl-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  31. uunf
    Documentation
    Unicode text normalization for OCaml
    unicode text normalization org:erratique
    The uunf programmers
    17.0.0
    ISC
    Used by 14 other packages
    Added to opam-repository
  32. uuseg
    Documentation
    Unicode text segmentation for OCaml
    unicode text segmentation org:erratique
    The uuseg programmers
    17.0.0
    ISC
    Used by 15 other packages
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. valkey
    Documentation
    Modern Valkey client for OCaml 5 + Eio (RESP3-only)
    valkey redis eio client resp3 cluster
    Avi Fenesh <aviarchi1994@gmail.com>
    0.4.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  35. 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
    Added to opam-repository
  36. 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
    Added to opam-repository
  37. 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
    Added to opam-repository
  38. 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
    Added to opam-repository
  39. 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
    Added to opam-repository
  40. 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
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. 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
    Added to opam-repository
  43. yamlx
    Documentation
    Pure-OCaml YAML 1.2/1.1 parser with a lossless, comment-preserving AST
    yaml parser serialization
    Martin Jambon <martin@mjambon.com>
    0.5.0
    AGPL-3.0-only
    Used by 1 other packages
    Added to opam-repository
  44. 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
    Added to opam-repository
  45. 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
    Added to opam-repository
  46. 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
    Added to opam-repository
1 2 3