719 search results for "tag:"R""

Showing 101 - 150
  1. conduit-lwt-tls

    No documentation

    A portable network connection establishment library using Lwt and ocaml-tls
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg Romain Calascibetta
    3.0.0
    ISC
    Used by 1 other packages
    20 Oct 2020
  2. conduit-lwt-unix
    Documentation
    A network connection establishment library for Lwt_unix
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
    6.2.2
    ISC
    Used by 22 other packages
    30 Apr 2024
  3. conduit-mirage
    Documentation
    A network connection establishment library for MirageOS
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire
    6.2.2
    ISC
    Used by 7 other packages
    30 Apr 2024
  4. conduit-tls

    No documentation

    A network connection establishment library
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg Romain Calascibetta
    3.0.0
    ISC
    Used by 2 other packages
    20 Oct 2020
  5. conf-cosmopolitan
    Documentation
    Virtual package relying on APE/Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    1
    MIT
    Used by 1 other packages
    14 Oct 2022
  6. conf-opencc0

    No documentation

    Virtual package relying on opencc v0 (libopencc.so.1) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    06 Dec 2018
  7. conf-opencc1

    No documentation

    Virtual package relying on opencc v1 (libopencc.so.2) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    06 Dec 2018
  8. conf-opencc1_1
    Documentation
    Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    06 Oct 2021
  9. config
    Documentation
    Ergonomic, lightweight conditional compilation through attributes
    conditional compilation target_os target_arch arch os system
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.3
    MIT
    Used by 3 other packages
    05 May 2024
  10. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 1 other packages
    10 Oct 2015
  11. conjury
    Documentation
    Conjury library for OMake
    org:conjury.org
    james woodyatt <jhw@conjury.org>
    2.2
    BSD-2-Clause
    Used by 1 other packages
    16 Mar 2023
  12. containers
    Documentation
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    c-cube
    3.13.1
    BSD-2-Clause
    Used by 70 other packages
    21 Dec 2023
  13. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL function vector okasaki
    c-cube
    3.13.1
    BSD-2-Clause
    Used by 6 other packages
    21 Dec 2023
  14. containers-thread
    Documentation
    An extension of containers for threading
    containers thread semaphore blocking queue
    Simon Cruanes
    3.12
    BSD-2-Clause
    Used by 0 other packages
    06 Jun 2023
  15. coq-of-ocaml
    Documentation
    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    06 Jan 2023
  16. coq-waterproof
    Documentation
    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Balthazar Pathiachvili Cosmin Manea Lulof Pirée Adrian Vrămuleţ et al.
    2.1.1+8.18
    LGPL-3.0-or-later
    Used by 0 other packages
    10 Jan 2024
  17. core-and-more
    Documentation
    Includes core, and some more useful extensions
    stdlib containers
    Anders Miltner
    0.0.1
    MIT
    Used by 0 other packages
    27 Jul 2021
  18. cow
    Documentation
    Caml on the Web
    org:mirage org:xapi-project www html xml css json markdown
    Anil Madhavapeddy Thomas Gazagnaire David Sheets Rudi Grinberg Timothy Bourke
    2.5.0
    ISC
    Used by 6 other packages
    12 Dec 2023
  19. cowabloga
    Documentation
    Simple static blogging support
    org:mirage
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire
    0.5.0
    ISC
    Used by 0 other packages
    17 Jan 2020
  20. crlibm
    Documentation
    Binding to CRlibm, a correctly rounded math lib
    libm math floating-point rounding science
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.5.1
    LGPL-3.0
    Used by 1 other packages
    11 Nov 2021
  21. crunch
    Documentation
    Convert a filesystem into a static OCaml module
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer Hannes Mehnert
    3.3.1
    ISC
    Used by 29 other packages
    05 Aug 2022
  22. cstruct
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 242 other packages
    14 Mar 2023
  23. cstruct-async
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 2 other packages
    14 Mar 2023
  24. cstruct-lwt
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 29 other packages
    14 Mar 2023
  25. cstruct-sexp
    Documentation
    S-expression serialisers for C-like structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 7 other packages
    14 Mar 2023
  26. cstruct-unix
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 12 other packages
    14 Mar 2023
  27. ctoxml
    Documentation
    Parses a C program into Cabs AST and dumps as an XML document
    FrontC C parser XML
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    26 May 2021
  28. ctypes
    Documentation
    Combinators for binding to C libraries without writing any C
    org:mirage
    Jeremy Yallop
    0.22.0
    MIT
    Used by 139 other packages
    19 Feb 2024
  29. ctypes-foreign
    Documentation
    Dynamic access to foreign C libraries using Ctypes
    org:mirage
    Jeremy Yallop
    0.22.0
    MIT
    Used by 93 other packages
    19 Feb 2024
  30. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.6
    BSD-2-Clause
    Used by 0 other packages
    13 Mar 2019
  31. delimcc_of_fxhandler
    Documentation
    Delimited control primitives on top of effect handlers
    effect handlers delimited control
    KC Sivaramakrishnan
    0.1
    ISC
    Used by 0 other packages
    22 Jun 2023
  32. depyt
    Documentation
    Yet-an-other type combinator library
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org>
    0.3.0
    ISC
    Used by 0 other packages
    11 Mar 2022
  33. dirsp-exchange
    Documentation
    Published protocols for the authenticated message exchange
    org:diskuv
    [Diskuv, Inc. <opensource+dirsp-exchange@support.diskuv.com>]
    0.1.0
    Apache-2.0
    Used by 0 other packages
    17 Jun 2021
  34. dirsp-exchange-kbb2017
    Documentation
    The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol
    org:diskuv
    [Diskuv, Inc. <opensource+dirsp-exchange-kbb2017@support.diskuv.com>]
    0.1.0
    Apache-2.0
    Used by 1 other packages
    17 Jun 2021
  35. dirsp-proscript
    Documentation
    OCaml-ified interfaces for the ProScript Cryptography Library
    org:diskuv
    [Diskuv, Inc. <opensource+dirsp-proscript@support.diskuv.com>]
    0.1.0
    Apache-2.0
    Used by 2 other packages
    17 Jun 2021
  36. dirsp-proscript-mirage
    Documentation
    Mirage crypto backed implementation of the ProScript Cryptography Library
    org:diskuv
    [Diskuv, Inc. <opensource+dirsp-proscript-mirage@support.diskuv.com>]
    0.1.0
    Apache-2.0
    Used by 1 other packages
    17 Jun 2021
  37. dirsp-ps2ocaml
    Documentation
    ProScript to OCaml translator
    org:diskuv
    [Diskuv, Inc. <opensource+dirsp-ps2ocaml@support.diskuv.com>]
    0.1.0
    Apache-2.0
    Used by 0 other packages
    17 Jun 2021
  38. disml

    No documentation

    An OCaml library for interfacing with the Discord API
    discord
    Adelyn Breedlove <tenseiken595@gmail.com>
    0.2.5
    MIT
    Used by 0 other packages
    12 Feb 2019
  39. dns-async
    Documentation
    DNS implementation using the Async concurrency framework
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets et al.
    1.1.3
    ISC
    Used by 0 other packages
    15 Jul 2019
  40. dns-lwt
    Documentation
    DNS implementation in portable Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets et al.
    1.1.3
    ISC
    Used by 3 other packages
    15 Jul 2019
  41. dns-lwt-unix
    Documentation
    DNS implementation for Unix and Windows using Lwt_unix
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets et al.
    1.1.3
    ISC
    Used by 0 other packages
    15 Jul 2019
  42. dnscurve
    Documentation
    DNSCurve protocol for DNS queries over a secure channel
    org:mirage
    0.3.0
    Used by 0 other packages
    28 Jan 2015
  43. dnssd
    Documentation
    DNS Service Discovery for macOS
    org:mirage
    David Scott Thomas Gazagnaire
    0.5.0
    ISC
    Used by 1 other packages
    25 Jul 2017
  44. doc-ock
    Documentation
    Extract documentation from OCaml files
    doc ocaml org:ocaml-doc
    Leo White <lpw25@cl.cam.ac.uk> Thomas Refis <trefis@janestreet.com>
    1.2.1
    ISC
    Used by 3 other packages
    07 Apr 2018
  45. doc-ock-html

    No documentation

    From doc-ock to HTML
    doc html ocaml org:ocaml-doc
    Thomas Refis <trefis@janestreet.com>
    1.2.1
    ISC
    Used by 1 other packages
    07 Apr 2018
  46. doc-ock-xml
    Documentation
    XML printer and parser for Doc-Ock
    doc xml ocaml org:ocaml-doc
    Leo White <lpw25@cl.cam.ac.uk> David Sheets <sheets@alum.mit.edu>
    1.2.1
    ISC
    Used by 1 other packages
    07 Apr 2018
  47. docfd
    Documentation
    TUI multiline fuzzy document finder
    fuzzy document finder
    Darren Li
    3.0.0
    MIT
    Used by 0 other packages
    15 Mar 2024
  48. dockerfile
    Documentation
    Dockerfile eDSL in OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.2.1
    ISC
    Used by 5 other packages
    10 Apr 2023
  49. dockerfile-cmd
    Documentation
    Dockerfile eDSL -- generation support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.2.1
    ISC
    Used by 1 other packages
    10 Apr 2023
  50. dockerfile-opam
    Documentation
    Dockerfile eDSL -- opam support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.2.1
    ISC
    Used by 1 other packages
    10 Apr 2023
2 3 4 ... 15