720 search results for "tag:"R""

Showing 651 - 700
  1. uucd
    Documentation
    Unicode character database decoder for OCaml
    unicode database decoder org:erratique
    The uucd programmers
    15.1.0
    ISC
    Used by 3 other packages
    16 Sep 2023
  2. uucp
    Documentation
    Unicode character properties for OCaml
    unicode text character org:erratique
    The uucp programmers
    15.1.0
    ISC
    Used by 18 other packages
    16 Sep 2023
  3. uuidm
    Documentation
    Universally unique identifiers (UUIDs) for OCaml
    uuid codec org:erratique
    The uuidm programmers
    0.9.8
    ISC
    Used by 51 other packages
    09 Feb 2022
  4. uunf
    Documentation
    Unicode text normalization for OCaml
    unicode text normalization org:erratique
    The uunf programmers
    15.1.0
    ISC
    Used by 10 other packages
    16 Sep 2023
  5. uuseg
    Documentation
    Unicode text segmentation for OCaml
    unicode text segmentation org:erratique
    The uuseg programmers
    15.1.0
    ISC
    Used by 9 other packages
    16 Sep 2023
  6. uutf
    Documentation
    Non-blocking streaming Unicode codec for OCaml
    unicode text utf-8 utf-16 codec org:erratique
    The uutf programmers
    1.0.3
    ISC
    Used by 75 other packages
    03 Feb 2022
  7. 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
  8. vchan
    Documentation
    Xen Vchan implementation
    org:mirage
    Vincent Bernardoff Jon Ludlam David Scott
    6.0.2
    ISC
    Used by 6 other packages
    29 Apr 2024
  9. 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
  10. 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
  11. 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 5 other packages
    24 Jan 2024
  12. vhd-format
    Documentation
    Pure OCaml library to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.12.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    20 Jun 2022
  13. vhd-format-lwt
    Documentation
    Lwt interface to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.12.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    20 Jun 2022
  14. vhd-tool

    No documentation

    A command-line tool to manipulate, transcode and stream .vhd format data.
    org:mirage org:xapi-project
    xen-api@lists.xen.org
    0.12.0
    Used by 0 other packages
    06 Jun 2017
  15. wasmer
    Documentation
    OCaml bindings for Wasmer
    org:wasmer
    rajdakin
    1.2.1
    MIT
    Used by 0 other packages
    17 Oct 2022
  16. 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
  17. webbrowser
    Documentation
    Open and reload URIs in browsers from OCaml
    web http uri browser cli org:erratique
    Daniel Bünzli
    0.6.1
    ISC
    Used by 3 other packages
    15 Sep 2016
  18. websocket
    Documentation
    Websocket library
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.16
    ISC
    Used by 8 other packages
    03 Jan 2023
  19. websocket-async
    Documentation
    Websocket library (Async)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.16
    ISC
    Used by 1 other packages
    03 Jan 2023
  20. websocket-lwt
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.12
    Used by 2 other packages
    04 Oct 2018
  21. websocket-lwt-unix
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.16
    ISC
    Used by 8 other packages
    03 Jan 2023
  22. why

    No documentation

    Why is a software verification platform.
    deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
    Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018
  23. 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.7.2
    LGPL-2.1-only
    Used by 8 other packages
    22 Apr 2024
  24. why3-base

    No documentation

    Why3 environment for deductive program verification (base)
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  25. 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.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  26. 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.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  27. ws

    No 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
  28. 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
  29. x509
    Documentation
    Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> David Kaloper <dk505@cam.ac.uk>
    0.16.5
    BSD-2-Clause
    Used by 31 other packages
    04 Jul 2023
  30. x86_64-esperanto
    Documentation
    An OCaml compiler with Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.5
    MIT
    Used by 0 other packages
    22 Dec 2023
  31. 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
  32. xapi-forkexecd

    No documentation

    Sub-process control service for xapi
    org:xapi-project
    xen-api@lists.xen.org
    1.4.0
    Used by 3 other packages
    06 Jun 2017
  33. xapi-idl

    No documentation

    Interface descriptions and common boilerplate for xapi services.
    org:xapi-project
    Dave Scott
    1.14.0
    Used by 4 other packages
    06 Jun 2017
  34. 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
  35. xapi-libs-transitional

    No documentation

    Further transitional libraries required by xapi
    org:xapi-project
    Jon Ludlam
    1.0.1
    Used by 2 other packages
    15 Jun 2017
  36. 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 3 other packages
    12 Dec 2023
  37. xapi-rrd-transport

    No documentation

    Shared-memory protocols for exposing performance counters
    org:xapi-project
    Jon Ludlam
    1.2.0
    Used by 1 other packages
    15 Jun 2017
  38. xapi-rrdd

    No documentation

    Performance monitoring daemon for xapi
    org:xapi-project
    Jon Ludlam
    1.2.1
    Used by 0 other packages
    15 Jun 2017
  39. xapi-stdext

    No documentation

    A deprecated collection of utility functions
    org:xapi-project
    xen-api@list.xen.org
    2.1.0
    Used by 7 other packages
    06 Jun 2017
  40. xapi-tapctl

    No documentation

    A library to control tapdisk on a Xen host
    org:xapi-project
    xen-api@lists.xen.org
    1.0.1
    Used by 1 other packages
    06 Jun 2017
  41. xapi-xenops

    No documentation

    Create/destroy/manipulate Xen domains
    org:xapi-project
    xen-api@lists.xen.org
    1.0.1
    Used by 1 other packages
    15 Jun 2017
  42. 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
  43. xe

    No documentation

    A command-line client for the 'xapi' service (as used in XenServer)
    org:xapi-project
    0.6.3
    Used by 0 other packages
    22 Dec 2014
  44. xen-api-client

    No documentation

    Xen-API client library for remotely-controlling an XCP or XenServer host.
    org:mirage org:xapi-project
    David Scott Anil Madhavapeddy Jerome Maloberti John Else Jon Ludlam et al.
    0.9.14
    LGPL-2.0-or-later
    Used by 1 other packages
    06 Jun 2017
  45. xen-block-driver

    No documentation

    Xen disk device drivers: both client ("frontend") and server ("backend")
    org:mirage org:xapi-project
    0.2.5
    Used by 1 other packages
    21 Nov 2013
  46. xen-disk

    No documentation

    A command-line tool for attaching disks to VMs running on a xen host.
    org:mirage org:xapi-project
    1.2.1
    Used by 0 other packages
    11 Feb 2014
  47. 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 9 other packages
    13 Feb 2019
  48. 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
  49. xenbigarray

    No documentation

    Portable Bigarray intended for embedded Xen use
    org:mirage org:xapi-project
    1.0.0
    Used by 1 other packages
    21 Nov 2013
  50. xenctrl

    No documentation

    Low-level Xen hypercall bindings.
    org:mirage org:xapi-project
    David Scott Jonathan Ludlam Andrew Cooper Bob Ball Euan Harris et al.
    0.10.0
    LGPL-2.0-or-later
    Used by 9 other packages
    01 Aug 2017
... 13 14 15