888 search results for "tag:"R""

Showing 51 - 100
  1. bimage-sdl
    Documentation
    Bimage_gtk allows images to be displayed using SDL
    image processing sdl
    Zach Shipko <zachshipko@gmail.com>
    0.2.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  2. bimage-unix
    Documentation
    Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  3. bin_tree
    Documentation
    A binary tree implementation
    binary_tree algorithms tree data-structures
    Bryan (Ahhj93)
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  4. binary_tree
    Documentation
    A Coq binary tree module
    data-structures
    Pierre Castoran, slightly modified by Humam Alhusaini
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  5. binning
    Documentation
    A datastructure to accumulate values in bins
    data-structures
    Philippe Veber
    0.0.0
    CeCILL-B
    Used by 2 other packages
    Added to opam-repository
  6. binsec
    Documentation
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.3
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  7. bitflyer
    Documentation
    OCaml client for the bitFlyer cryptocurrency exchange API
    cryptocurrency exchange trading api websocket
    Yoshihiro Imai
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. bitgenerators
    Documentation
    PRNG bitgenerators for OCaml users
    scientific computing psuedo-random numbers
    Zolisa Bleki
    v0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  9. bitwuzla
    Documentation
    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.6
    MIT
    Used by 0 other packages
    Added to opam-repository
  10. 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
  11. 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
  12. bitwuzla-cxx
    Documentation
    SMT solver for AUFBVFP (C++ API)
    SMT solver AUFBVFP
    Frédéric Recoules
    0.9.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  13. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  14. 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
  15. 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 92 other packages
    Added to opam-repository
  16. 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
  17. 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
  18. brr
    Documentation
    Browser programming toolkit for OCaml
    reactive declarative frp front-end browser org:erratique
    The brr programmers
    0.0.9
    ISC; BSD-3-Clause
    Used by 9 other packages
    Added to opam-repository
  19. bst
    Documentation
    Bisector tree implementation in OCaml
    data-structures
    Francois Berenger
    7.1.0
    BSD-3-Clause
    Used by 6 other packages
    Added to opam-repository
  20. 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
  21. 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 websocket cryptography sha3 org:erratique
    The bytesrw programmers
    0.4.1
    ISC
    Used by 19 other packages
    Added to opam-repository
  22. 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
  23. bytream
    Documentation
    A streaming bytes and crunching them library
    bytes streaming
    Mikhail Lopatin <dx3mod@bk.ru>
    0.3
    MIT
    Used by 1 other packages
    Added to opam-repository
  24. 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
  25. 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
  26. 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 27 other packages
    Added to opam-repository
  27. ca-certs-nss
    Documentation
    X.509 trust anchors extracted from Mozilla's NSS
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    3.129-1
    ISC
    Used by 14 other packages
    Added to opam-repository
  28. 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
  29. cactus
    Documentation
    A B-Tree based index implementation
    data-structures
    Gabriel Belouze <gabriel.belouze@ens.psl.eu> Ioana Cristescu <ioana@tarides.com>
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. calendar

    No 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  45. cdp

    No documentation

    Chrome DevTools Protocol types for OCaml
    org:ahrefs chrome devtools cdp browser
    Vitalii Shapoval <vytalych@gmail.com> Ahrefs <github@ahrefs.com>
    0.1.0
    MIT AND BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  46. cdp-gen
    Documentation
    Generator producing the cdp library from CDP protocol JSON
    org:ahrefs chrome devtools cdp codegen
    Vitalii Shapoval <vytalych@gmail.com> Ahrefs <github@ahrefs.com>
    0.1.0
    MIT AND BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  47. 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
  48. 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
  49. 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
  50. 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
1 2 3 ... 18