747 search results for "tag:"R""

Showing 701 - 747
  1. websocket-async

    No 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
  2. 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
  3. 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
  4. 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
  5. 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 9 other packages
    22 Apr 2024
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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.5
    BSD-2-Clause
    Used by 37 other packages
    29 Oct 2024
  12. x86_64-esperanto
    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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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.3.0
    LGPL-2.1-only
    Used by 11 other packages
    22 Jan 2021
  34. 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
  35. xmlm
    Documentation
    Streaming XML codec for OCaml
    xml codec org:erratique
    The xmlm programmers
    1.4.0
    ISC
    Used by 49 other packages
    09 Feb 2022
  36. yaml
    Documentation
    Parse and generate YAML 1.1/1.2 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.2.0
    ISC
    Used by 22 other packages
    06 Nov 2023
  37. yaml-sexp
    Documentation
    Parse and generate YAML 1.1 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.2.0
    ISC
    Used by 2 other packages
    06 Nov 2023
  38. yocaml_cmark
    Documentation
    YOCaml Common Mark processor
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  39. yocaml_markdown
    Documentation
    YOCaml Markdown processor
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  40. zar
    Documentation
    Formally verified sampling from discrete probability distributions
    zar random sampler verified coq discrete
    Alexander Bagnall
    0.9.3
    MIT
    Used by 0 other packages
    17 Feb 2024
  41. zarith-ppx
    Documentation
    Literals for Zarith's arbitrary-precision integers and rationals
    ppx zarith
    Gabriel Radanne
    0.1
    Used by 0 other packages
    19 Mar 2019
  42. zarr
    Documentation
    An Ocaml implementation of the Zarr V3 specification
    zarr chunked arrays zarr version 3
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 3 other packages
    07 Sep 2024
  43. zenon_modulo
    Documentation
    Zenon Modulo Theory
    automated theorem prover
    INRIA and contributors
    0.5.0
    BSD-3-Clause
    Used by 0 other packages
    26 Jan 2024
  44. zipc
    Documentation
    ZIP archive and deflate codec for OCaml
    codec zip deflate zlib org:erratique
    The zipc programmers
    0.2.0
    ISC
    Used by 0 other packages
    24 Jan 2024
  45. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
  46. zstd
    Documentation
    Bindings to zstd compression library
    org:ygrek clib:zstd
    ygrek
    0.4
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2024
  47. zxcvbn
    Documentation
    Bindings for the zxcvbn password strength estimation library
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    2.4+1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2020
... 13 14 15