762 search results for "tag:"R""

Showing 51 - 100
  1. bitwuzla-bin

    No documentation

    Bitwuzla SMT solver executable
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.0
    MIT
    Used by 0 other packages
    12 Jul 2021
  2. 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
  3. 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
  4. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    12 Sep 2023
  5. 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
  6. 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 94 other packages
    06 Oct 2021
  7. bpf
    Documentation
    Embedded eBPF assembler
    org:ygrek
    ygrek <ygrek@autistici.org>
    0.2
    BSD-3-Clause
    Used by 0 other packages
    01 Oct 2017
  8. 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
  9. 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
  10. 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
  11. bytesrw
    Documentation
    Composable byte stream readers and writers for OCaml
    bytes entropy streaming zstd zlib gzip deflate random csprng sha1 sha2 compression hashing utf xxhash blake3 psa tls cryptography sha3 org:erratique
    The bytesrw programmers
    0.3.0
    ISC
    Used by 6 other packages
    05 Nov 2025
  12. 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
  13. 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 17 other packages
    17 Apr 2025
  14. ca-certs-nss
    Documentation
    X.509 trust anchors extracted from Mozilla's NSS
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    3.118
    ISC
    Used by 10 other packages
    20 Nov 2025
  15. 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
  16. 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
  17. 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
  18. 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
  19. calculon-redis
    Documentation
    A redis plugin for Calculon
    irc bot redis
    c-cube
    0.6
    Used by 0 other packages
    17 Dec 2019
  20. 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
  21. 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
  22. 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
  23. 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
  24. calendars
    Documentation
    Convert dates between gregorian/julian/french/hebrew/islamic calendars
    moon-phase gregorian julian hebrew islamic french-republican calendar date
    Daniel de Rauglaudre
    2.0.0
    GPL-2.0-only
    Used by 0 other packages
    29 Jan 2026
  25. 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
  26. 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
  27. 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
  28. catala-format

    No documentation

    A formatter for Catala based on the Topiary universal formatting engine
    catala formatter
    Vincent Botbol
    1.1.0
    Apache-2.0
    Used by 0 other packages
    28 Jan 2026
  29. 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
  30. cbor
    Documentation
    CBOR encoder/decoder (RFC 7049) - native OCaml implementation
    org:ygrek
    ygrek
    0.5
    MIT
    Used by 4 other packages
    23 Oct 2021
  31. ccbg
    Documentation
    Wallpaper utility for Wayland
    ccbg wallpaper sway wayland swaybg background
    redianthus <redopam@pm.me>
    0.1
    ISC
    Used by 0 other packages
    13 Feb 2023
  32. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 3 other packages
    09 Mar 2019
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. charrua-client
    Documentation
    DHCP client implementation
    org:mirage
    Mindy Preston
    3.0.0
    ISC
    Used by 0 other packages
    09 Dec 2025
  39. claudius
    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.2.1
    ISC
    Used by 0 other packages
    19 Sep 2025
  40. 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
  41. cmarkit
    Documentation
    CommonMark parser and renderer for OCaml
    codec commonmark markdown org:erratique
    The cmarkit programmers
    0.4.0
    ISC
    Used by 13 other packages
    03 Nov 2025
  42. cmdlang-stdlib-runner
    Documentation
    A basic execution runner for cmdlang based on stdlib.arg
    cli cmdlang stdlib.arg
    Mathieu Barbin
    0.0.10
    MIT
    Used by 0 other packages
    26 Sep 2025
  43. cmdlang-to-base
    Documentation
    Convert cmdlang Parsers to core.command
    cli cmdlang core.command
    Mathieu Barbin
    0.0.10
    MIT
    Used by 0 other packages
    26 Sep 2025
  44. cmdlang-to-cmdliner
    Documentation
    Convert cmdlang Parsers to cmdliner
    cli cmdlang cmdliner
    Mathieu Barbin
    0.0.10
    MIT
    Used by 2 other packages
    26 Sep 2025
  45. cmdliner
    Documentation
    Declarative definition of command line interfaces for OCaml
    cli system declarative org:erratique
    The cmdliner programmers
    2.1.0
    ISC
    Used by 294 other packages
    26 Nov 2025
  46. 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
  47. 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
  48. 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
  49. 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
  50. compsort

    No 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
1 2 3 ... 16