129 search results for "tag:"io""

Showing 51 - 100
  1. lbfgs
    Documentation
    Bound-constrainted optimization in many variables
    science numerics optimization minimization maximization bound-constrained large-scale
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.9.5
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    18 Oct 2023
  2. libzipperposition
    Documentation
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  3. llopt
    Documentation
    Just a tiny LLVM-IR optimizer for testing stuff.
    llvm optimization test testing compiler
    Kate <kit.ty.kate@disroot.org>
    1.0.0
    MIT
    Used by 0 other packages
    12 Mar 2018
  4. loc
    Documentation
    Representing ranges of lexing positions from parsed files
    code-locations lexing
    Mathieu Barbin
    0.3.3
    MIT
    Used by 7 other packages
    27 Jan 2026
  5. 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
  6. lz4
    Documentation
    Bindings to the LZ4 compression algorithm
    lz4 compression decompression
    whitequark <whitequark@whitequark.org>
    1.3.0
    BSD-3-clause
    Used by 4 other packages
    07 Sep 2023
  7. markdown_monolith
    Documentation
    Produce a single monolithic Markdown file by inlining linked files
    markdown documentation tools
    Will Thomas <30wthomas@gmail.com>
    0.1.1
    MIT
    Used by 0 other packages
    28 Jan 2026
  8. matita

    No 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. nanoev-posix
    Documentation
    Use mtime+iomux (posix compliant) as a backend for nanoev
    unix select async iomux nanoev
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    12 May 2025
  17. 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
  18. nx
    Documentation
    High-performance N-dimensional array library for OCaml
    numerical-computation tensor-library machine-learning
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 7 other packages
    26 Nov 2025
  19. nx-datasets
    Documentation
    Common datasets for machine learning
    datasets machine-learning data-science image-classification regression
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 3 other packages
    26 Nov 2025
  20. nx-text
    Documentation
    Text processing and NLP extensions for Nx
    text-processing nlp natural-language-processing tokenization
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 2 other packages
    05 Jul 2025
  21. 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
  22. 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
    Zlib OR any-OSI
    Used by 2 other packages
    31 Dec 2020
  23. ocf
    Documentation
    OCaml library to read and write configuration files in JSON syntax
    configuration options json
    Zoggy <zoggy@bat8.org>
    1.0.0
    GPL-3.0-only
    Used by 10 other packages
    11 Nov 2025
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. opentelemetry
    Documentation
    Instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog jaeger
    the Imandra team and contributors
    0.12
    MIT
    Used by 6 other packages
    12 Sep 2025
  30. opentelemetry-lwt
    Documentation
    Lwt-compatible instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog lwt
    the Imandra team and contributors
    0.12
    MIT
    Used by 2 other packages
    12 Sep 2025
  31. 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
  32. 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
  33. orthologic-coq
    Documentation
    A plugin to add orthologic-based tactics to Coq
    category:Miscellaneous/Coq Extensions keyword:orthologic logpath:OLCoq
    Simon Guilloud Clément Pit-Claudel
    0.9.1
    CC-BY-4.0
    Used by 0 other packages
    17 Apr 2025
  34. 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
  35. 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
  36. polymarket
    Documentation
    OCaml client library for the Polymarket prediction market API
    polymarket prediction-market blockchain polygon api-client trading
    Richard <rkhaut1@gmail.com>
    0.2.0
    MIT
    Used by 0 other packages
    02 Jan 2026
  37. 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
  38. 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
  39. prelude
    Documentation
    OCaml library hiding stuff from the stdlib
    prelude stdlib safe exception layer hide
    redianthus <redopam@pm.me>
    0.5
    AGPL-3.0-or-later
    Used by 4 other packages
    04 Feb 2025
  40. 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
  41. 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
  42. qcaml
    Documentation
    Experimental OCaml library for quantum computing simulation
    quantum computing simulation qubits gates visualization bloch-sphere
    Elias GAUTHIER
    0.1.7
    Apache-2.0
    Used by 0 other packages
    16 Jan 2026
  43. raven
    Documentation
    Meta package for the Raven ML ecosystem
    machine-learning data-science numerical-computation
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 0 other packages
    26 Nov 2025
  44. 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
    05 Aug 2025
  45. 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
  46. 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
    06 Jan 2026
  47. rune
    Documentation
    Automatic differentiation and JIT compilation for OCaml
    automatic-differentiation jit-compilation machine-learning deep-learning optimization
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 5 other packages
    26 Nov 2025
  48. 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
    26 Nov 2025
  49. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    redianthus <redopam@pm.me>
    0.5
    ISC
    Used by 1 other packages
    05 Feb 2025
  50. 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
1 2 3