735 search results for "tag:"R""

Showing 51 - 100
  1. bitwuzla-c
    Documentation
    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 1 other packages
    24 Feb 2023
  2. bitwuzla-cxx
    Documentation
    SMT solver for AUFBVFP (C++ API)
    SMT solver AUFBVFP
    Frédéric Recoules
    0.8.2
    MIT
    Used by 0 other packages
    13 Aug 2025
  3. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    12 Sep 2023
  4. bogue-tutorials
    Documentation
    Bogue Tutorials
    gui bogue tutorial
    San Vũ Ngọc
    0.2.0
    CC-BY-NC-4.0; Apache-2.0
    Used by 0 other packages
    05 Mar 2024
  5. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.2.1
    ISC
    Used by 89 other packages
    06 Oct 2021
  6. bpf
    Documentation
    Embedded eBPF assembler
    org:ygrek
    ygrek <ygrek@autistici.org>
    0.2
    BSD-3-Clause
    Used by 0 other packages
    01 Oct 2017
  7. brotli

    No documentation

    Bindings to Google's Brotli compresion algorithm
    clib:stdc clib:brotli
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.3.0
    BSD-3-Clause
    Used by 1 other packages
    23 Aug 2017
  8. brr
    Documentation
    Browser programming toolkit for OCaml
    reactive declarative frp front-end browser org:erratique
    The brr programmers
    0.0.8
    ISC; BSD-3-Clause
    Used by 7 other packages
    28 Jul 2025
  9. bwrap
    Documentation
    Use Bubblewrap to sandbox executables
    sandbox bubblewrap
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.1
    ISC
    Used by 0 other packages
    06 Nov 2018
  10. bytesrw
    Documentation
    Composable byte stream readers and writers for OCaml
    bytes streaming zstd zlib gzip deflate sha1 sha2 compression hashing utf xxhash blake3 org:erratique
    The bytesrw programmers
    0.2.0
    ISC
    Used by 2 other packages
    28 Jul 2025
  11. bytestring
    Documentation
    Efficient, immutable, pattern-matchable, UTF friendly byte strings
    bytes strings pattern matching binary strings rope transient iterators utf8
    Leandro Ostera <leandro@abstractmachines.dev> Felipe Oliveira Carvalho <felipekde@gmail.com>
    0.0.8
    MIT
    Used by 3 other packages
    05 Mar 2024
  12. ca-certs
    Documentation
    Detect root CA certificates from the operating system
    org:mirage
    Etienne Millon <me@emillon.org>, Hannes Mehnert <hannes@mehnert.org>
    1.0.1
    ISC
    Used by 14 other packages
    17 Apr 2025
  13. ca-certs-nss
    Documentation
    X.509 trust anchors extracted from Mozilla's NSS
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    3.115
    ISC
    Used by 10 other packages
    17 Aug 2025
  14. cairo2
    Documentation
    Binding to Cairo, a 2D Vector Graphics Library
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.5
    LGPL-3.0-or-later
    Used by 15 other packages
    12 Nov 2024
  15. cairo2-gtk
    Documentation
    Rendering Cairo on Gtk2 canvas
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.5
    LGPL-3.0-or-later
    Used by 1 other packages
    12 Nov 2024
  16. cairo2-pango
    Documentation
    Interface between Cairo and Pango (for Gtk2)
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.5
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Nov 2024
  17. calculon
    Documentation
    Library for writing IRC bots in OCaml and a collection of plugins
    irc bot factoids
    Armael Enjolras c-cube
    0.8
    MIT
    Used by 1 other packages
    13 Jul 2022
  18. calculon-redis
    Documentation
    A redis plugin for Calculon
    irc bot redis
    c-cube
    0.6
    Used by 0 other packages
    17 Dec 2019
  19. calculon-redis-lib
    Documentation
    A library to interact with Calculon via Redis
    irc bot redis
    c-cube
    0.6
    Used by 1 other packages
    17 Dec 2019
  20. calculon-web
    Documentation
    A collection of web plugins for Calculon
    irc bot factoids
    Armael Enjolras c-cube
    0.8
    MIT
    Used by 0 other packages
    13 Jul 2022
  21. caldav
    Documentation
    A CalDAV server
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    0.2.4
    ISC
    Used by 0 other packages
    19 Mar 2025
  22. calendar
    Documentation
    Library for handling dates and times in your program
    calendar date time datetime
    Julien Signoles
    3.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 20 other packages
    12 Oct 2022
  23. calipso
    Documentation
    Rewrites C programs to remove non-structured control-flow
    FrontC C analysis
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    26 May 2021
  24. camlrack
    Documentation
    S-Expression parsing for OCaml
    S-Expressions parsing
    Pierce Darragh <pierce.darragh@gmail.com>
    0.10.1
    MIT
    Used by 1 other packages
    12 Feb 2022
  25. castore
    Documentation
    A portable CA Store with a global .crt and .pem files
    https tls cert crt pem ca ca store
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 1 other packages
    27 Dec 2023
  26. catt
    Documentation
    An infinity-categorical coherence typechecker
    higher-categories dependent-type-theory
    Thibaut Benjamin <thibaut.benjamin@gmail.com> Chiara Sarti <cs2197@cam.ac.uk>
    1.0
    MIT
    Used by 1 other packages
    15 Oct 2024
  27. cbor
    Documentation
    CBOR encoder/decoder (RFC 7049) - native OCaml implementation
    org:ygrek
    ygrek
    0.5
    MIT
    Used by 4 other packages
    23 Oct 2021
  28. ccbg
    Documentation
    Wallpaper utility for Wayland
    ccbg wallpaper sway wayland swaybg background
    Léo Andrès <contact@ndrs.fr>
    0.1
    ISC
    Used by 0 other packages
    13 Feb 2023
  29. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 3 other packages
    09 Mar 2019
  30. cconv-ppx
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization ppx-deriving
    Simon Cruanes
    0.5
    Used by 0 other packages
    09 Mar 2019
  31. cdrom
    Documentation
    Query the state and contents of CDROM devices under Linux
    org:xapi-project
    Dave Scott <dave@recoil.org>
    0.9.4
    Used by 0 other packages
    23 Dec 2020
  32. ceph
    Documentation
    Bindings to libcephfs
    org:ahrefs clib:stdc clib:cephfs
    Ahrefs Pte Ltd <github@ahrefs.com>
    20240106
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Aug 2024
  33. certify
    Documentation
    CLI utilities for simple X509 certificate manipulation
    org:mirage
    Mindy Preston
    0.3.3
    ISC
    Used by 0 other packages
    17 Jul 2021
  34. cgroups
    Documentation
    An OCaml interface for the Linux control groups
    cgroups
    Guillaume Bury
    0.1
    BSD-3-Clause
    Used by 0 other packages
    29 Jul 2015
  35. charrua-client
    Documentation
    DHCP client implementation
    org:mirage
    Mindy Preston
    2.1.0
    ISC
    Used by 0 other packages
    03 Sep 2025
  36. claudius

    No documentation

    A retro-style graphics library
    graphics rendering paletted
    3pleX-dev <afuadajoe@gmail.com> Adenuga Israel Abimbola <israelabimmbolaa@gmail.com> Michael Dales <michael@digitalflapjack.com> Seed Lu <dr.seed.lu@gmail.com> Shreya Pawaskar <shreya.pawaskar.main@gmail.com> et al.
    1.1.1
    ISC
    Used by 0 other packages
    02 Sep 2025
  37. cll
    Documentation
    Mutable circular doubly linked list
    circular linked list
    Rob Anderson <opensource@robanderson.dev>
    0.2.0
    MIT
    Used by 0 other packages
    13 Nov 2023
  38. cmarkit
    Documentation
    CommonMark parser and renderer for OCaml
    codec commonmark markdown org:erratique
    The cmarkit programmers
    0.3.0
    ISC
    Used by 10 other packages
    12 Dec 2023
  39. cmdlang-stdlib-runner
    Documentation
    A basic execution runner for cmdlang based on stdlib.arg
    cli cmdlang stdlib.arg
    Mathieu Barbin
    0.0.9
    MIT
    Used by 0 other packages
    04 Dec 2024
  40. cmdlang-to-base
    Documentation
    Convert cmdlang Parsers to core.command
    cli cmdlang core.command
    Mathieu Barbin
    0.0.9
    MIT
    Used by 0 other packages
    04 Dec 2024
  41. cmdlang-to-cmdliner
    Documentation
    Convert cmdlang Parsers to cmdliner
    cli cmdlang cmdliner
    Mathieu Barbin
    0.0.9
    MIT
    Used by 1 other packages
    04 Dec 2024
  42. cmdliner
    Documentation
    Declarative definition of command line interfaces for OCaml
    cli system declarative org:erratique
    The cmdliner programmers
    1.3.0
    ISC
    Used by 368 other packages
    23 May 2024
  43. cmdliner-stdlib
    Documentation
    A collection of cmdliner terms to control OCaml runtime parameters
    org:mirage
    Thomas Gazagnaire Hannes Mehnert
    1.0.1
    ISC
    Used by 0 other packages
    11 Oct 2024
  44. colors
    Documentation
    A pure OCaml library for manipulating colors across color spaces
    color color spaces color transformations color blending luv xyz rgb linear rgb srgb uv reference colors
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    21 Dec 2023
  45. combic
    Documentation
    A lightweight library for combinatory logic
    topics combinatory logic functional programming lambda calculus ocaml
    zandacw
    1.0.0
    MIT
    Used by 0 other packages
    10 Apr 2024
  46. combinaml
    Documentation
    Simple, customizable, dependency free parser combinator library
    topics parser combinator
    Travis Staloch
    0.1
    MIT
    Used by 0 other packages
    11 Jul 2023
  47. compsort
    Documentation
    Reorder files in an archive to improve its compression
    compression
    Adrien Nader <adrien@notk.org>
    0.9.2
    GPL-3.0-or-later
    Used by 0 other packages
    11 Oct 2024
  48. conduit
    Documentation
    A network connection establishment library
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
    8.0.0
    ISC
    Used by 7 other packages
    27 Feb 2025
  49. conduit-async
    Documentation
    A network connection establishment library for Async
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
    8.0.0
    ISC
    Used by 4 other packages
    27 Feb 2025
  50. conduit-lwt
    Documentation
    A portable network connection establishment library using Lwt
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
    8.0.0
    ISC
    Used by 9 other packages
    27 Feb 2025
1 2 3 ... 15