102 search results for "tag:"io""

Showing 51 - 100
  1. logtk
    Documentation
    Core types and algorithms for logic
    logic unification term
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 3 other packages
    05 Sep 2021
  2. lz4
    Documentation
    Bindings to the LZ4 compression algorithm
    lz4 compression decompression
    whitequark <whitequark@whitequark.org>
    1.3.0
    BSD-3-clause
    Used by 3 other packages
    07 Sep 2023
  3. matita
    Documentation
    An experimental, interactive theorem prover
    interactive theorem proving calculus of constructions
    HELM Team Andrea Asperti Ferruccio Guidi Luca Padovani Claudio Sacerdoti Coen et al.
    0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    05 Oct 2023
  4. mesh
    Documentation
    Triangular mesh generation and manipulation
    Mesh Triangulation PDE
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    19 Mar 2019
  5. mesh-easymesh
    Documentation
    Triangular mesh generation with EasyMesh
    Mesh Triangulation PDE
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  6. middleware
    Documentation
    Composable stacked functions, which can respond to inner calls
    middleware composition funciton
    Trent Small <sixstring982@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    24 Jan 2024
  7. minttea
    Documentation
    A fun, functional, and stateful way to build terminal apps in OCaml heavily inspired by Go's BubbleTea
    tui terminal-ui framework riot
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 1 other packages
    29 Dec 2023
  8. msgpck
    Documentation
    Fast MessagePack (http://msgpack.org) library
    messagepack msgpack binary serialization
    Vincent Bernardoff <vb@luminar.eu.org>
    1.7
    ISC
    Used by 4 other packages
    08 Jun 2021
  9. multicont
    Documentation
    Multi-shot continuations in OCaml
    multi-shot continuations effect handlers
    Daniel Hillerström
    1.0.3
    MIT
    Used by 1 other packages
    16 May 2024
  10. mutaml
    Documentation
    A mutation tester for OCaml
    test mutation testing
    Jan Midtgaard <mail@janmidtgaard.dk>
    0.3
    BSD-2-Clause
    Used by 1 other packages
    07 Oct 2024
  11. nomad
    Documentation
    A Web server for Trail applications
    riot trail http https websocket ws web server suri
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 0 other packages
    24 Apr 2024
  12. ocamlregextkit
    Documentation
    A regular expression toolkit for OCaml
    automata regular expressions regular languages regex library DFA NFA RE
    Dominic Too
    1.0.2
    GPL-3.0-or-later
    Used by 0 other packages
    30 Sep 2024
  13. ocamlsdl2
    Documentation
    Interface to the SDL2 library
    bindings graphics audio multimedia opengl cross-platform
    Florent Monnier Piotr Mardziel David Cadé Guillaume Munch-Maccagnoni
    0.04
    restrictionless Zlib
    Used by 2 other packages
    31 Dec 2020
  14. ocf
    Documentation
    OCaml library to read and write configuration files in JSON syntax
    configuration options json
    Zoggy <zoggy@bat8.org>
    0.9.0
    GPL-3.0-only
    Used by 10 other packages
    08 Oct 2024
  15. olinq
    Documentation
    LINQ inspired queries on in-memory data
    linq query join group collection
    Simon Cruanes
    0.3
    Used by 0 other packages
    09 Mar 2019
  16. opencc

    No documentation

    Bindings for OpenCC (v1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    transition
    MIT
    Used by 0 other packages
    06 Dec 2018
  17. opencc0

    No documentation

    Bindings for OpenCC (v0) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    1.0.2
    MIT
    Used by 0 other packages
    06 Dec 2018
  18. opencc1

    No documentation

    Bindings for OpenCC (v1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    1.0.1
    MIT
    Used by 1 other packages
    06 Dec 2018
  19. opencc1_1
    Documentation
    Bindings for OpenCC (v1.1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    0.1.0
    MIT
    Used by 0 other packages
    06 Oct 2021
  20. opentelemetry
    Documentation
    Instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog jaeger
    the Imandra team and contributors
    0.11.1
    MIT
    Used by 4 other packages
    17 Mar 2025
  21. opentelemetry-lwt
    Documentation
    Lwt-compatible instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog lwt
    the Imandra team and contributors
    0.11.1
    MIT
    Used by 1 other packages
    17 Mar 2025
  22. optimization1d
    Documentation
    Find extrema of 1D functions
    optimization
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.6.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  23. orsetto
    Documentation
    A library of assorted structured data interchange languages
    org:conjury.org unicode data-interchange parser-combinators serialization json cbor uri url tai64
    james woodyatt <jhw@conjury.org>
    1.1.3
    BSD-2-Clause
    Used by 0 other packages
    05 Apr 2023
  24. parsite
    Documentation
    A micro library for simple parsing combinators
    string ocaml functional-programming parsing-combinators parsing-library
    faber-1
    0.1.2
    MIT
    Used by 0 other packages
    31 Jul 2024
  25. phylogenetics
    Documentation
    Algorithms and datastructures for phylogenetics
    bioinformatics evolution phylogeny
    Louis Duchemin Vincent Lanore Philippe Veber
    0.3.0
    CeCILL-B
    Used by 0 other packages
    09 Jul 2024
  26. ppx_camlrack
    Documentation
    PPX for matching S-Expressions
    S-Expressions parsing matching ppx extension
    Pierce Darragh <pierce.darragh@gmail.com>
    0.10.1
    MIT
    Used by 0 other packages
    12 Feb 2022
  27. prc
    Documentation
    Utilities for precision-recall curves
    precision recall statistics machine-learning
    Philippe Veber
    0.1.0
    CeCILL-B
    Used by 0 other packages
    03 Nov 2021
  28. prelude
    Documentation
    OCaml library hiding stuff from the stdlib
    prelude stdlib safe exception layer hide
    Léo Andrès <contact@ndrs.fr>
    0.5
    AGPL-3.0-or-later
    Used by 2 other packages
    04 Feb 2025
  29. producer
    Documentation
    Accumulate results using monadic dependency graphs
    dependency injection graph node producer
    Trent Small
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    08 Oct 2023
  30. provider
    Documentation
    Dynamic Dispatch with Traits
    dynamic-dispatch parametrization traits typeclasses
    Mathieu Barbin
    0.0.11
    ISC
    Used by 0 other packages
    21 Nov 2024
  31. 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
    05 Mar 2024
  32. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    Léo Andrès <contact@ndrs.fr>
    0.5
    ISC
    Used by 1 other packages
    05 Feb 2025
  33. 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
  34. 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
  35. slipshow
    Documentation
    A compiler from markdown to slipshow
    slipshow presentation slideshow beamer
    Paul-Elliot
    0.1.1
    GPL-3.0-or-later
    Used by 0 other packages
    14 Mar 2025
  36. 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
  37. stog-writing

    No 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
  38. 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
  39. tabr
    Documentation
    Functional utilities
    topics Functional utilities Branislav Lazic tabr
    Branislav Lazic
    0.1.2
    MIT
    Used by 0 other packages
    08 Mar 2024
  40. 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
  41. 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
  42. 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 12 other packages
    13 Sep 2024
  43. 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
  44. uunf
    Documentation
    Unicode text normalization for OCaml
    unicode text normalization org:erratique
    The uunf programmers
    16.0.0
    ISC
    Used by 9 other packages
    12 Sep 2024
  45. 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
  46. 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
  47. 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.0
    LGPL-2.1-only
    Used by 6 other packages
    13 Dec 2024
  48. 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.0
    LGPL-2.1-only
    Used by 0 other packages
    13 Dec 2024
  49. 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.0
    LGPL-2.1-only
    Used by 0 other packages
    13 Dec 2024
  50. 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
1 2 3