777 search results for "tag:"R""

Showing 651 - 700
  1. 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
  2. swapfs
    Documentation
    Streaming temporary storage for Mirage OS
    org:mirage org:robur swap
    Reynir Björnsson <reynir@reynir.dk>
    0.1.0
    MIT
    Used by 0 other packages
    08 Nov 2024
  3. swhid
    Documentation
    OCaml library to work with Software Heritage identifiers
    swh software heritage archive swhid persistent identifier
    redianthus <leo@ocaml.pro> Dario Pinto <dario.pinto@ocamlpro.com>
    0.2
    ISC
    Used by 0 other packages
    21 Jun 2022
  4. swhid_compute
    Documentation
    OCaml library to work with Software Heritage identifiers, compute library used in swhid
    swh software heritage archive shwid persistent identifier compute
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 0 other packages
    05 Apr 2022
  5. swhid_types
    Documentation
    OCaml library to work with Software Heritage identifiers, types library used in swhid
    swh software heritage archive shwid persistent identifier types
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 1 other packages
    03 Apr 2022
  6. 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.2
    AGPL-3.0-or-later
    Used by 0 other packages
    05 Mar 2026
  7. synchronizer
    Documentation
    Synchronizer
    ocaml multi-core mutex thread-safe parallel
    Arthur Carcano <arthur.carcano@ocamlpro.com> redianthus
    0.3
    AGPL-3.0-or-later
    Used by 0 other packages
    17 Feb 2026
  8. syslog-rfc5424
    Documentation
    Syslog Protocol (RFC5424) parser and pretty-printer
    log syslog rfc5424
    Vincent Bernardoff <vb@luminar.eu.org>
    0.2
    ISC
    Used by 0 other packages
    09 Dec 2025
  9. tabr
    Documentation
    Functional utilities
    topics Functional utilities Branislav Lazic tabr
    Branislav Lazic
    0.1.2
    MIT
    Used by 0 other packages
    08 Mar 2024
  10. tacit
    Documentation
    OCaml combinators
    combinator
    arutonee <arutonee@proton.me>
    1.0.0
    MIT
    Used by 0 other packages
    19 Aug 2025
  11. talon
    Documentation
    Dataframes for OCaml
    dataframe data-manipulation data-science tabular-data
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    17 Mar 2026
  12. tar
    Documentation
    Decode and encode tar format files in pure OCaml
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 6 other packages
    06 Mar 2025
  13. tar-eio
    Documentation
    Decode and encode tar format files using Eio
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 0 other packages
    06 Mar 2025
  14. tar-mirage
    Documentation
    Read and write tar format files via MirageOS interfaces
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 0 other packages
    06 Mar 2025
  15. tar-unix
    Documentation
    Decode and encode tar format files from Unix
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.3.0
    ISC
    Used by 2 other packages
    06 Mar 2025
  16. tcpip
    Documentation
    OCaml TCP/IP networking stack, used in MirageOS
    org:mirage
    Anil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire et al.
    9.0.1
    ISC
    Used by 34 other packages
    17 Apr 2025
  17. 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
  18. term-indexing
    Documentation
    Term indexing library
    symbolics rewriting
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    15 Jul 2024
  19. term-tools
    Documentation
    Various tools for manipulating first-order terms
    symbolics rewriting
    Ilias Garnier
    0.0.2
    MIT
    Used by 0 other packages
    03 Nov 2024
  20. terml
    Documentation
    Terml is a pure-ocaml library for manipulating terminal output. Making possible to write text-based interfaces with ease
    tui terminal terminal-tui
    Willians Faria <dev.willians.faria@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    02 Apr 2024
  21. 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
    18 Feb 2026
  22. tezt-bam
    Documentation
    A plugin of [bam] for Tezt
    test tezt pbt shrinking internal bam
    François Thiré
    0.4
    MIT
    Used by 0 other packages
    15 Jul 2025
  23. tgls
    Documentation
    Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml
    bindings opengl opengl-es graphics org:erratique
    The tgls programmers
    0.9.1
    ISC
    Used by 1 other packages
    24 Jul 2025
  24. thread-local-storage
    Documentation
    Efficient thread local storage for OCaml
    topics threads tls
    Vesa Karvonen
    0.2
    MIT
    Used by 6 other packages
    24 Aug 2024
  25. tiny_httpd
    Documentation
    Minimal HTTP server using threads
    http thread server tiny_httpd http_of_dir simplehttpserver
    c-cube
    0.20
    MIT
    Used by 11 other packages
    16 Feb 2026
  26. tinyfiledialogs
    Documentation
    OCaml bindings to tinyfiledialogs
    GUI Dialogs File Dialog Color Picker Cross-Platform TinyFileDialogs Open File Dialog Save File Dialog Select Folder Message Box Input Box
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    13 Sep 2025
  27. tip-parser
    Documentation
    Parser for https://tip-org.github.io/format.html
    TIP parse inductive logic
    Simon Cruanes
    0.6
    Used by 0 other packages
    09 Feb 2019
  28. tls
    Documentation
    Transport Layer Security purely in OCaml
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.0.4
    BSD-2-Clause
    Used by 32 other packages
    10 Mar 2026
  29. tls-async
    Documentation
    Transport Layer Security purely in OCaml, Async layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org> Eric Ebinger <github@eric.theebingers.com> Calascibetta Romain <romain.calascibetta@gmail.com>
    2.0.4
    BSD-2-Clause
    Used by 0 other packages
    10 Mar 2026
  30. tls-eio
    Documentation
    Transport Layer Security purely in OCaml - Eio
    org:mirage
    Thomas Leonard
    2.0.4
    BSD-2-Clause
    Used by 10 other packages
    10 Mar 2026
  31. tls-lwt
    Documentation
    Transport Layer Security purely in OCaml, Lwt layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.0.4
    BSD-2-Clause
    Used by 14 other packages
    10 Mar 2026
  32. tls-miou-unix
    Documentation
    Transport Layer Security purely in OCaml, Miou+Unix layer
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    2.0.4
    BSD-2-Clause
    Used by 3 other packages
    10 Mar 2026
  33. tls-mirage
    Documentation
    Transport Layer Security purely in OCaml, MirageOS layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.0.4
    BSD-2-Clause
    Used by 12 other packages
    10 Mar 2026
  34. toffee
    Documentation
    CSS layout engine for OCaml (Flexbox, Grid, Block)
    css layout flexbox grid css-grid taffy layout-engine
    Thibaut Mattio
    0.1.0
    ISC
    Used by 1 other packages
    28 Feb 2026
  35. topkg
    Documentation
    The transitory OCaml software packager
    packaging ocamlbuild org:erratique
    The topkg programmers
    1.1.1
    ISC
    Used by 106 other packages
    05 Nov 2025
  36. topkg-care
    Documentation
    The transitory OCaml software packager
    packaging ocamlbuild org:erratique
    The topkg programmers
    1.1.1
    ISC
    Used by 0 other packages
    05 Nov 2025
  37. trace
    Documentation
    A lightweight stub for tracing/observability, agnostic in how data is collected
    trace tracing observability profiling
    Simon Cruanes
    0.12
    MIT
    Used by 15 other packages
    03 Mar 2026
  38. trace-fuchsia
    Documentation
    A high-performance backend for trace, emitting a Fuchsia trace into a file
    trace tracing fuchsia
    Simon Cruanes
    0.12
    MIT
    Used by 1 other packages
    03 Mar 2026
  39. trace-runtime-events
    Documentation
    A simple collector relying on runtime-events for OCaml 5. Some assembly required
    trace tracing trace runtime-events
    Simon Cruanes
    0.12
    MIT
    Used by 0 other packages
    03 Mar 2026
  40. trace-tef
    Documentation
    A simple backend for trace, emitting Catapult/TEF JSON into a file
    trace tracing catapult TEF chrome-format chrome-trace json
    Simon Cruanes
    0.12
    MIT
    Used by 8 other packages
    03 Mar 2026
  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. trampoline
    Documentation
    A trampoline library enabling deep recursions that don't fit into stack memory
    topics trampoline
    Armin Heller <support@arminheller.de>
    0.1.0
    Apache-2.0
    Used by 0 other packages
    16 Jun 2023
  43. transept
    Documentation
    Generalized parser combinator library
    library parser-combinator
    Didier Plaindoux <d.plaindoux@free.fr>
    0.1.0
    MIT
    Used by 0 other packages
    05 Mar 2020
  44. tree-sitter
    Documentation
    OCaml bindings for Tree-sitter
    tree-sitter parsing syntax-highlighting incremental
    Thibaut Mattio
    0.1.0
    ISC
    Used by 1 other packages
    28 Feb 2026
  45. tree_layout
    Documentation
    Algorithms to layout trees in a pretty manner
    tree graph drawing
    Gabriel Radanne
    0.2
    ISC
    Used by 0 other packages
    15 Apr 2019
  46. trexio

    No documentation

    Binding for the TREXIO Input/Output library
    Quantum chemistry Library
    Anthony Scemama <scemama@irsamc.ups-tlse.fr> Evgeny Posenitskiy <posenitskiy@irsamc.ups-tlse.fr>
    2.2.0
    BSD-3-Clause
    Used by 0 other packages
    04 Aug 2022
  47. trs
    Documentation
    Parsing library for the TRS format, the format for first-order rewrite systems
    trs rewrite systems
    Soichi Yajima
    1.0.0
    MIT
    Used by 0 other packages
    22 Oct 2024
  48. 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
    28 Mar 2026
  49. tsdl-image
    Documentation
    SDL2_Image bindings to go with Tsdl
    tsdl SDL images graphics bindings
    Julian Squires <julian@cipht.net>
    0.6
    BSD-3-Clause
    Used by 7 other packages
    08 Aug 2023
  50. tsdl-ttf

    No documentation

    SDL2_Ttf bindings to go with Tsdl
    tsdl SDL graphics bindings ttf
    Julian Squires <julian@cipht.net>
    0.7
    BSD-3-Clause
    Used by 6 other packages
    11 Apr 2026
... 13 14 15 16