808 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
    Added to opam-repository
  2. bitwuzla-c
    Documentation
    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.6
    MIT
    Used by 1 other packages
    Added to opam-repository
  3. bitwuzla-cxx
    Documentation
    SMT solver for AUFBVFP (C++ API)
    SMT solver AUFBVFP
    Frédéric Recoules
    0.9.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  4. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  6. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.3.0
    ISC
    Used by 90 other packages
    Added to opam-repository
  7. bpf
    Documentation
    Embedded eBPF assembler
    org:ygrek
    ygrek <ygrek@autistici.org>
    0.2
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  8. brot
    Documentation
    Tokenization for OCaml
    tokenization bpe wordpiece subword-tokenization language-models
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    Added to opam-repository
  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 9 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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 15 other packages
    Added to opam-repository
  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
    Added to opam-repository
  13. bytream
    Documentation
    A streaming bytes and crunching them library
    bytes streaming
    Mikhail Lopatin <dx3mod@bk.ru>
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  14. CamlSurf-wayland
    Documentation
    A program to display and animate implicit surfaces and curves
    surface curve geometry OpenGL
    Christophe Raffalli <christophe@raffalli.eu>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  15. CamlSurf-x11
    Documentation
    A program to display and animate implicit surfaces and curves
    surface curve geometry OpenGL
    Christophe Raffalli <christophe@raffalli.eu>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. 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.3
    ISC
    Used by 23 other packages
    Added to opam-repository
  17. ca-certs-nss
    Documentation
    X.509 trust anchors extracted from Mozilla's NSS
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    3.126
    ISC
    Used by 13 other packages
    Added to opam-repository
  18. cabal
    Documentation
    Caml Agent Backend Abstraction Library
    agentic backend abstraction cli llm
    Epure Team
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. 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
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. 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
    Added to opam-repository
  24. caldav
    Documentation
    A CalDAV server
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    0.2.4
    ISC
    Used by 0 other packages
    Added to opam-repository
  25. 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 21 other packages
    Added to opam-repository
  26. 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
    Added to opam-repository
  27. 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
    Added to opam-repository
  28. 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
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. catt

    No 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
    Added to opam-repository
  31. cbor
    Documentation
    CBOR encoder/decoder (RFC 7049) - native OCaml implementation
    org:ygrek
    ygrek
    0.5
    MIT
    Used by 4 other packages
    Added to opam-repository
  32. ccbg
    Documentation
    Wallpaper utility for Wayland
    ccbg wallpaper sway wayland swaybg background
    redianthus <redopam@pm.me>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  33. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 2 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  36. certify
    Documentation
    CLI utilities for simple X509 certificate manipulation
    org:mirage
    Mindy Preston
    0.3.3
    ISC
    Used by 0 other packages
    Added to opam-repository
  37. cgroups
    Documentation
    An OCaml interface for the Linux control groups
    cgroups
    Guillaume Bury
    0.1
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  38. charrua-client
    Documentation
    DHCP client implementation
    org:mirage
    Mindy Preston
    3.2.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  39. chatoyant
    Documentation
    OCaml-first LLM SDK with Melange-generated JavaScript
    llm ai openai anthropic xai openrouter json-schema eio melange typesafe
    Anonyfox <max@anonyfox.com>
    0.12.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  40. 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
    Added to opam-repository
  41. cll
    Documentation
    Mutable circular doubly linked list
    circular linked list
    Rob Anderson <opensource@robanderson.dev>
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  42. cmarkit
    Documentation
    CommonMark parser and renderer for OCaml
    codec commonmark markdown org:erratique
    The cmarkit programmers
    0.4.0
    ISC
    Used by 15 other packages
    Added to opam-repository
  43. cmdlang-stdlib-runner
    Documentation
    A basic execution runner for cmdlang based on stdlib.arg
    cli cmdlang stdlib.arg
    Mathieu Barbin
    0.0.11
    MIT
    Used by 0 other packages
    Added to opam-repository
  44. cmdlang-to-base
    Documentation
    Convert cmdlang Parsers to core.command
    cli cmdlang core.command
    Mathieu Barbin
    0.0.11
    MIT
    Used by 0 other packages
    Added to opam-repository
  45. cmdlang-to-cmdliner
    Documentation
    Convert cmdlang Parsers to cmdliner
    cli cmdlang cmdliner
    Mathieu Barbin
    0.0.11
    MIT
    Used by 2 other packages
    Added to opam-repository
  46. cmdliner
    Documentation
    Declarative definition of command line interfaces for OCaml
    cli system declarative org:erratique
    The cmdliner programmers
    2.1.1
    ISC
    Used by 315 other packages
    Added to opam-repository
  47. 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
    Added to opam-repository
  48. 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
    Added to opam-repository
  49. 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
    Added to opam-repository
  50. combinaml
    Documentation
    Simple, customizable, dependency free parser combinator library
    topics parser combinator
    Travis Staloch
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
1 2 3 ... 17