808 search results for "tag:"R""

Showing 101 - 150
  1. 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
    Added to opam-repository
  2. 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
    Added to opam-repository
  3. 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
    Added to opam-repository
  4. 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 10 other packages
    Added to opam-repository
  5. conduit-lwt-unix
    Documentation
    A network connection establishment library for Lwt_unix
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
    8.0.0
    ISC
    Used by 18 other packages
    Added to opam-repository
  6. conduit-mirage
    Documentation
    A network connection establishment library for MirageOS
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire
    8.0.0
    ISC
    Used by 6 other packages
    Added to opam-repository
  7. conf-cosmopolitan

    No documentation

    Virtual package relying on APE/Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    1
    MIT
    Used by 1 other packages
    Added to opam-repository
  8. 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
    Added to opam-repository
  9. 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
    Added to opam-repository
  10. conf-opencc1_1

    No 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
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 0 other packages
    Added to opam-repository
  13. conjury
    Documentation
    Conjury library for OMake
    org:conjury.org
    james woodyatt <jhw@conjury.org>
    2.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  14. containers
    Documentation
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    c-cube
    3.18
    BSD-2-Clause
    Used by 80 other packages
    Added to opam-repository
  15. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL function vector okasaki
    c-cube
    3.18
    BSD-2-Clause
    Used by 9 other packages
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. contract
    Documentation
    Typed HTTP API contracts for OCaml
    http api contract openapi
    Thomas B.
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  18. coq-catt-plugin

    No documentation

    A Coq plugin for the catt proof-assistant
    higher-categories dependent-type-theory
    Thibaut Benjamin <thibaut.benjamin@gmail.com> Chiara Sarti <cs2197@cam.ac.uk>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. 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 Pim Otte Balthazar Pathiachvili Dick Arends Cosmin Manea et al.
    3.1.0+9.1
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  21. core-and-more
    Documentation
    Includes core, and some more useful extensions
    stdlib containers
    Anders Miltner
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  22. corosync
    Documentation
    OCaml Corosync binding
    corosync binding
    Shuntian Liu
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  23. 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 5 other packages
    Added to opam-repository
  24. cowabloga
    Documentation
    Simple static blogging support
    org:mirage
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire
    0.5.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. crs
    Documentation
    A tool for managing inline review comments embedded in source code
    code-review inline-comments
    Mathieu Barbin
    0.0.20260307
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    Added to opam-repository
  27. crunch
    Documentation
    Convert a filesystem into a static OCaml module
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer Hannes Mehnert
    4.1.0
    ISC
    Used by 30 other packages
    Added to opam-repository
  28. crypt
    Documentation
    A tiny binding for the Unix crypt function
    unix hash password
    Vincent Bernardoff <vb@luminar.eu.org> Mikhail Lopatin <dx3mod@bk.ru>
    2.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  29. 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 203 other packages
    Added to opam-repository
  30. 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 1 other packages
    Added to opam-repository
  31. 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 16 other packages
    Added to opam-repository
  32. 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 6 other packages
    Added to opam-repository
  33. 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 9 other packages
    Added to opam-repository
  34. 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
    Added to opam-repository
  35. ctypes
    Documentation
    Combinators for binding to C libraries without writing any C
    org:mirage
    Jeremy Yallop
    0.24.0
    MIT
    Used by 143 other packages
    Added to opam-repository
  36. ctypes-foreign
    Documentation
    Dynamic access to foreign C libraries using Ctypes
    org:mirage
    Jeremy Yallop
    0.24.0
    MIT
    Used by 92 other packages
    Added to opam-repository
  37. cudajit

    No documentation

    Bindings to the `cuda` and `nvrtc` libraries with a unified interface
    cuda jit nvrtc
    Lukasz Stafiniak
    0.7.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  38. cure2
    Documentation
    Re-like combinators for Re2
    regexp regex
    Emile Trotignon <emile.trotignon@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  39. curl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 7 other packages
    Added to opam-repository
  40. curl_lwt
    Documentation
    Bindings to libcurl (lwt variant)
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  41. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.7
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  42. deepseek
    Documentation
    Deepseek v4 LLM
    org:blacksun deepseek llm
    Anil Madhavapeddy
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  43. 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
    Added to opam-repository
  44. depyt
    Documentation
    Yet-an-other type combinator library
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org>
    0.3.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  45. diffast-core
    Documentation
    Core functions of Diff/AST
    abstract syntax tree differencing
    Codinuum <codinuum@me.com> Masatomo Hashimoto <m.hashimoto@stair.center>
    0.4
    Apache-2.0
    Used by 14 other packages
    Added to opam-repository
  46. 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
    Added to opam-repository
  47. 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 1 other packages
    Added to opam-repository
  48. dnssd
    Documentation
    DNS Service Discovery for macOS
    org:mirage
    David Scott Thomas Gazagnaire
    0.5.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  49. docfd
    Documentation
    TUI multiline fuzzy document finder
    fuzzy document finder
    Darren Li
    13.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  50. dockerfile
    Documentation
    Dockerfile eDSL in OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.2
    ISC
    Used by 4 other packages
    Added to opam-repository
2 3 4 ... 17