762 search results for "tag:"R""

Showing 701 - 750
  1. unikraft-musl
    Documentation
    Unikraft's wrapper for musl
    org:mirage
    Unikraft contributors
    0.20.0
    MIT; BSD-3-Clause
    Used by 4 other packages
    11 Nov 2025
  2. unix-dirent
    Documentation
    ocaml-unix-dirent provides access to the features exposed in dirent.h
    unix posix dirent syscall readdir
    David Sheets Jeremy Yallop
    0.3.5
    ISC
    Used by 0 other packages
    22 Jan 2017
  3. unix-errno
    Documentation
    Unix errno types, maps, and support
    errno errno.h errors unix syscall
    David Sheets <sheets@alum.mit.edu>
    0.6.2
    ISC
    Used by 15 other packages
    22 Mar 2023
  4. unix-sys-resource
    Documentation
    Unix sys/resource.h types and bindings (getrlimit, setrlimit, and friends)
    unix posix sys/resource.h getrlimit setrlimit rlimit
    David Sheets
    0.1.2
    ISC
    Used by 0 other packages
    04 Jun 2016
  5. uri
    Documentation
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 156 other packages
    27 Sep 2023
  6. uri-bench
    Documentation
    Benchmarking package for ocaml-uri
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 0 other packages
    27 Sep 2023
  7. uri-re
    Documentation
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 0 other packages
    27 Sep 2023
  8. uri-sexp
    Documentation
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 8 other packages
    27 Sep 2023
  9. uritemplate
    Documentation
    OCaml implementation of URI templates (RFC6570)
    uri url templates RFC6570
    Corin Chaplin <git@corinchaplin.co.uk>
    0.2.0
    MIT
    Used by 0 other packages
    30 Jun 2019
  10. user-setup
    Documentation
    Helper for the configuration of editors for the use of OCaml tools
    org:ocamlpro
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.8
    ISC
    Used by 0 other packages
    05 Sep 2024
  11. uucd
    Documentation
    Unicode character database decoder for OCaml
    unicode database decoder org:erratique
    The uucd programmers
    17.0.0
    ISC
    Used by 3 other packages
    11 Sep 2025
  12. uucp
    Documentation
    Unicode character properties for OCaml
    unicode text character org:erratique
    The uucp programmers
    17.0.0
    ISC
    Used by 24 other packages
    11 Sep 2025
  13. uuidm
    Documentation
    Universally unique identifiers (UUIDs) for OCaml
    uuid codec org:erratique
    The uuidm programmers
    0.9.10
    ISC
    Used by 41 other packages
    12 Mar 2025
  14. uunf
    Documentation
    Unicode text normalization for OCaml
    unicode text normalization org:erratique
    The uunf programmers
    17.0.0
    ISC
    Used by 12 other packages
    11 Sep 2025
  15. uuseg
    Documentation
    Unicode text segmentation for OCaml
    unicode text segmentation org:erratique
    The uuseg programmers
    17.0.0
    ISC
    Used by 11 other packages
    11 Sep 2025
  16. uutf
    Documentation
    Non-blocking streaming Unicode codec for OCaml
    unicode text utf-8 utf-16 codec org:erratique
    The uutf programmers
    1.0.4
    ISC
    Used by 86 other packages
    12 Mar 2025
  17. varint
    Documentation
    A simple varint implementation modeled after the one found in Go's standard library.
    mirage encoding
    Sam Riyad
    1.0
    MIT
    Used by 0 other packages
    23 Jul 2018
  18. vchan
    Documentation
    Xen Vchan implementation
    org:mirage
    Vincent Bernardoff Jon Ludlam David Scott
    6.0.2
    ISC
    Used by 4 other packages
    29 Apr 2024
  19. vchan-unix
    Documentation
    Xen Vchan implementation
    org:mirage
    Vincent Bernardoff Jon Ludlam David Scott
    6.0.2
    ISC
    Used by 0 other packages
    29 Apr 2024
  20. vchan-xen
    Documentation
    Xen Vchan implementation
    org:mirage
    Vincent Bernardoff Jon Ludlam David Scott
    6.0.2
    ISC
    Used by 1 other packages
    29 Apr 2024
  21. vg
    Documentation
    Declarative 2D vector graphics for OCaml
    pdf svg canvas cairo browser declarative graphics org:erratique
    The vg programmers
    0.9.5
    ISC
    Used by 4 other packages
    24 Jan 2024
  22. vhd-format
    Documentation
    Pure OCaml library to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.13.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    19 Nov 2024
  23. vhd-format-lwt
    Documentation
    Lwt interface to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.13.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Nov 2024
  24. volgo-hg-backend
    Documentation
    An IO-free library that parses the output of Mercurial commands
    cli git mercurial vcs
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 3 other packages
    30 Jan 2026
  25. volgo-hg-eio
    Documentation
    A Mercurial backend for Vcs based on Volgo_hg_backend for Eio programs
    eio git mercurial vcs non-blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    30 Jan 2026
  26. volgo-hg-unix
    Documentation
    A Mercurial backend for Vcs based on Volgo_hg_backend and the Unix library
    git mercurial vcs blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 3 other packages
    30 Jan 2026
  27. wasm
    Documentation
    Library to read and write WebAssembly (Wasm) files and manipulate their AST
    wasm webassembly spec interpreter
    Andreas Rossberg <rossberg@mpi-sws.org
    2.0.2
    Apache-2.0
    Used by 0 other packages
    27 May 2025
  28. wasmer
    Documentation
    OCaml bindings for Wasmer
    org:wasmer
    rajdakin
    1.2.1
    MIT
    Used by 0 other packages
    17 Oct 2022
  29. waylaunch
    Documentation
    Waylaunch is a program launcher for Wayland
    wayland program launcher sway
    Kate <kit-ty-kate@outlook.com>
    0.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    16 Jan 2024
  30. webbrowser
    Documentation
    Open and reload URIs in browsers from OCaml
    web http url browser cli org:erratique
    The webbrowser programmers
    0.6.2
    ISC
    Used by 2 other packages
    12 Mar 2025
  31. websocket
    Documentation
    Websocket library
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 7 other packages
    17 Sep 2024
  32. websocket-async
    Documentation
    Websocket library (Async)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 1 other packages
    17 Sep 2024
  33. websocket-lwt
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.12
    Used by 1 other packages
    04 Oct 2018
  34. websocket-lwt-unix
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 8 other packages
    17 Sep 2024
  35. 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.2
    LGPL-2.1-only
    Used by 7 other packages
    19 Sep 2025
  36. 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.2
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2025
  37. 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.2
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2025
  38. 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
  39. wu-manber-fuzzy-search
    Documentation
    Wu-Manber approximate string matching
    wu-manber baeza-yates-gonnet bitap algorithm levenshtein demarau-levenshtein edit distance approximate fuzzy string search matching
    Ifaz Kabir
    0.1.0
    CC0-1.0
    Used by 0 other packages
    19 Jan 2022
  40. x509
    Documentation
    Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> David Kaloper <dk505@cam.ac.uk>
    1.0.6
    BSD-2-Clause
    Used by 36 other packages
    17 Apr 2025
  41. x86_64-esperanto

    No documentation

    An OCaml compiler with Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.6
    MIT
    Used by 0 other packages
    13 Aug 2024
  42. xapi-backtrace
    Documentation
    A simple library for recording and managing backtraces
    org:xapi-project
    xen-api@lists.xen.org
    0.7
    Used by 2 other packages
    23 Dec 2020
  43. xapi-inventory
    Documentation
    Library for accessing the xapi toolstack inventory file
    org:xapi-project
    xen-api@lists.xen.org
    1.2.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    17 Jun 2022
  44. xapi-rrd
    Documentation
    RRD library for use with xapi
    org:xapi-project
    Dave Scott Jon Ludlam John Else
    1.12.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    12 Dec 2023
  45. xcursor
    Documentation
    A pure implementation of Xcursor in OCaml
    desktop gui cursor xcursor
    Yilin Wei
    0.1.0
    MIT
    Used by 0 other packages
    24 Dec 2022
  46. xen-evtchn
    Documentation
    Xen event channel interface for MirageOS
    org:mirage org:xapi-project
    Vincent Hanquez Anil Madhavapeddy David Scott Jonathan Ludlam
    2.1.0
    Used by 2 other packages
    13 Feb 2019
  47. xen-evtchn-unix
    Documentation
    Xen event channel interface for Linux
    org:mirage org:xapi-project
    Vincent Hanquez Anil Madhavapeddy David Scott Jonathan Ludlam
    2.1.0
    Used by 1 other packages
    13 Feb 2019
  48. xenstore-tool
    Documentation
    Command line tool for interfacing with xenstore
    org:mirage org:xapi-project
    Christian Lindig David Scott Euan Harris John Else Jon Ludlam et al.
    1.5.0
    LGPL-2.1-only
    Used by 0 other packages
    04 Aug 2025
  49. xenstore_transport
    Documentation
    Low-level libraries for connecting to a xenstore service on a xen host
    org:mirage org:xapi-project
    Christian Lindig David Scott Euan Harris John Else Jon Ludlam et al.
    1.5.0
    LGPL-2.1-only
    Used by 4 other packages
    04 Aug 2025
  50. xlsx2csv
    Documentation
    Simple library to export .xlsx files as CSVs
    convert xlsx csv
    Leonardo Santos
    0.1.2
    GPL-3.0-only
    Used by 0 other packages
    11 Oct 2024
... 14 15 16