118 search results for "tag:"io""

Showing 51 - 100
  1. 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
  2. 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
  3. loc
    Documentation
    Representing ranges of lexing positions from parsed files
    code-locations lexing
    Mathieu Barbin
    0.2.2
    MIT
    Used by 5 other packages
    04 Dec 2024
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. nanoev-posix

    No 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
  15. 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
  16. nx

    No documentation

    High-performance N-dimensional array library for OCaml
    numerical-computation tensor-library machine-learning
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 6 other packages
    05 Jul 2025
  17. nx-datasets

    No documentation

    Common datasets for machine learning
    datasets machine-learning data-science image-classification regression
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 3 other packages
    05 Jul 2025
  18. nx-text

    No 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. opentelemetry

    No documentation

    Instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog jaeger
    the Imandra team and contributors
    0.11.2
    MIT
    Used by 4 other packages
    02 Apr 2025
  28. opentelemetry-lwt

    No documentation

    Lwt-compatible instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog lwt
    the Imandra team and contributors
    0.11.2
    MIT
    Used by 1 other packages
    02 Apr 2025
  29. 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
  30. 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
  31. orthologic-coq

    No 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. raven

    No documentation

    Meta package for the Raven ML ecosystem
    machine-learning data-science numerical-computation
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 0 other packages
    05 Jul 2025
  40. 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
  41. 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
  42. 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
  43. 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
  44. slipshow

    No documentation

    A compiler from markdown to slipshow
    slipshow presentation slideshow beamer
    Paul-Elliot
    0.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    04 Jul 2025
  45. snf_mcp

    No 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.0
    ISC
    Used by 0 other packages
    03 Jul 2025
  46. sowilo

    No documentation

    Computer vision extensions for Rune
    computer-vision image-processing feature-detection machine-learning
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 2 other packages
    05 Jul 2025
  47. 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
  48. 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
  49. subprocess

    No 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
  50. 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
1 2 3