155 search results for "tag:"io""

Showing 51 - 100
  1. iomux
    Documentation
    IO Multiplexer bindings
    io multiplexing poll ppoll epoll kevent kqueue
    Christiano Haesbaert
    0.4
    ISC
    Used by 4 other packages
    Added to opam-repository
  2. iostream
    Documentation
    Generic, composable IO input and output streams
    topics io channels streams
    Simon Cruanes
    0.3
    MIT
    Used by 4 other packages
    Added to opam-repository
  3. iostream-camlzip
    Documentation
    Stream (de)compression using deflate
    topics io channels streams zip deflate
    Simon Cruanes
    0.3
    MIT
    Used by 1 other packages
    Added to opam-repository
  4. ip2location
    Documentation
    IP2Location OCaml module to get geolocation data
    ip2location geolocation
    IP2Location.com
    8.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  5. ip2locationio
    Documentation
    IP2Location.io OCaml module to get geolocation and WHOIS data
    ip2locationio geolocation
    IP2Location.com
    1.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  6. kdl
    Documentation
    OCaml implementation of the KDL Document Language
    data-serialization-format configuration-format org:eilvelia
    eilvelia <hi@eilvelia.cat>
    0.2.0
    MPL-2.0
    Used by 1 other packages
    Added to opam-repository
  7. keynub-licdongle
    Documentation
    Client for the KeyNub USB license dongle
    licensing copy protection dongle usb hardware
    KeyNub
    1.1.1
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  8. keyseq
    Documentation
    Deterministic planner for human-like typing
    typing-simulation human-typing keystroke deterministic
    Sergiy Duras <sergiy@duras.org>
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  9. lablgtk-extras

    No documentation

    A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.
    gtk utils configuration
    Maxence Guesdon
    1.6
    LGPL-2.0-or-later
    Used by 0 other packages
    Added to opam-repository
  10. 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 1 other packages
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. llopt

    No 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
    Added to opam-repository
  13. loc
    Documentation
    Representing ranges of lexing positions from parsed files
    code-locations lexing
    Mathieu Barbin
    0.3.3
    MIT
    Used by 7 other packages
    Added to opam-repository
  14. 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
    Added to opam-repository
  15. luna
    Documentation
    Luhn validation library for OCaml
    luhn validation checksum algorithms
    Khalid B. me@khal1d.com
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. 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
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. matrix-eio
    Documentation
    Eio-based runtime for the Matrix terminal library
    terminal eio structured-concurrency
    Thibaut Mattio
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  20. 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
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. migra
    Documentation
    A database migration tool and library for OCaml supporting PostgreSQL, MariaDB/MySQL, and SQLite
    database migrations postgresql mariadb mysql sqlite
    David Sinclair
    2.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  24. 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
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. multicont
    Documentation
    Multi-shot continuations in OCaml
    multi-shot continuations effect handlers
    Daniel Hillerström
    1.0.3
    MIT
    Used by 1 other packages
    Added to opam-repository
  27. mutaml
    Documentation
    A mutation tester for OCaml
    test mutation testing
    Jan Midtgaard <mail@janmidtgaard.dk>
    0.4
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  28. 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
    Added to opam-repository
  29. nomad

    No 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
    Added to opam-repository
  30. nx
    Documentation
    N-dimensional arrays for OCaml
    numerical-computation tensor-library machine-learning
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 9 other packages
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. 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
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. 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
    Added to opam-repository
  35. 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
    Added to opam-repository
  36. ohttp
    Documentation
    Oblivious HTTP (RFC 9458) for OCaml
    cryptography privacy ohttp rfc9458 oblivious http hpke
    Ville Vesilehto <ville@vesilehto.fi>
    0.1.2
    ISC
    Used by 4 other packages
    Added to opam-repository
  37. ohttp-cohttp
    Documentation
    Oblivious HTTP (RFC 9458) for the types of the http package
    ohttp rfc9458 oblivious http http cohttp
    Ville Vesilehto <ville@vesilehto.fi>
    0.1.2
    ISC
    Used by 2 other packages
    Added to opam-repository
  38. ohttp-cohttp-eio
    Documentation
    Oblivious HTTP (RFC 9458) clients, relays, and gateways over cohttp-eio
    ohttp rfc9458 oblivious http cohttp eio
    Ville Vesilehto <ville@vesilehto.fi>
    0.1.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  39. ohttp-cohttp-lwt
    Documentation
    Oblivious HTTP (RFC 9458) clients, relays, and gateways over cohttp-lwt
    ohttp rfc9458 oblivious http cohttp lwt
    Ville Vesilehto <ville@vesilehto.fi>
    0.1.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  40. ohttp-piaf
    Documentation
    Oblivious HTTP (RFC 9458) clients, relays, and gateways over Piaf
    ohttp rfc9458 oblivious http piaf eio
    Ville Vesilehto <ville@vesilehto.fi>
    0.1.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  41. olinq
    Documentation
    LINQ inspired queries on in-memory data
    linq query join group collection
    Simon Cruanes
    0.3
    Used by 0 other packages
    Added to opam-repository
  42. opencc

    No documentation

    Bindings for OpenCC (v1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    transition
    MIT
    Used by 0 other packages
    Added to opam-repository
  43. opencc0

    No documentation

    Bindings for OpenCC (v0) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    1.0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  44. opencc1

    No documentation

    Bindings for OpenCC (v1) - Open Chinese Convert
    opencc Chinese conversion
    ZAN DoYe
    1.0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  45. 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
    Added to opam-repository
  46. opentelemetry
    Documentation
    Core library for instrumentation and serialization for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog jaeger
    ocaml-tracing ELLIOTTCABLE <opam@ell.io> the imandra team
    0.91.1
    MIT
    Used by 9 other packages
    Added to opam-repository
  47. opentelemetry-lwt
    Documentation
    Lwt-compatible instrumentation for https://opentelemetry.io
    instrumentation tracing opentelemetry datadog lwt
    ocaml-tracing ELLIOTTCABLE <opam@ell.io> the imandra team
    0.91.1
    MIT
    Used by 3 other packages
    Added to opam-repository
  48. 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
    Added to opam-repository
  49. 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
    Added to opam-repository
  50. 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
    Added to opam-repository
1 2 3 4