4725 search results for ""

Showing 3851 - 3900
  1. resp
    Documentation
    Redis serialization protocol library
    Zach Shipko <zachshipko@gmail.com>
    0.11.0
    ISC
    Used by 4 other packages
    Added to opam-repository
  2. resp-client
    Documentation
    Redis serialization protocol client library
    redis protocol
    Zach Shipko <zachshipko@gmail.com>
    0.11.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  3. resp-mirage
    Documentation
    Redis serialization protocol for MirageOS
    Zach Shipko <zachshipko@gmail.com>
    0.11.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  4. resp-server
    Documentation
    Redis serialization protocol server
    Zach Shipko <zachshipko@gmail.com>
    0.11.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  5. resp-unix
    Documentation
    Redis serialization protocol for Unix
    Zach Shipko <zachshipko@gmail.com>
    0.11.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  6. resto
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 3 other packages
    Added to opam-repository
  7. resto-acl
    Documentation
    Access Control Lists for Resto
    Nomadic Labs
    1.2
    MIT
    Used by 1 other packages
    Added to opam-repository
  8. resto-cohttp
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 2 other packages
    Added to opam-repository
  9. resto-cohttp-client
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 1 other packages
    Added to opam-repository
  10. resto-cohttp-self-serving-client
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs
    1.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  11. resto-cohttp-server
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs - server library
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 1 other packages
    Added to opam-repository
  12. resto-directory
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 2 other packages
    Added to opam-repository
  13. resto-json
    Documentation
    A minimal OCaml library for type-safe HTTP/JSON RPCs
    Nomadic Labs Ocamlpro
    1.2
    MIT
    Used by 1 other packages
    Added to opam-repository
  14. restricted
    Documentation
    Limit which system operations and which parts of the filesystem your program can access
    openbsd restricted
    Remove Wingman <ocaml@rw8.addy.io>
    2.0.0
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  15. result

    No documentation

    Compatibility Result module
    Jane Street Group, LLC
    1.5
    BSD-3-Clause
    Used by 157 other packages
    Added to opam-repository
  16. revops
    Documentation
    Reversible operations
    dklee@dklee.org orbitz@gmail.com
    2.5
    Used by 0 other packages
    Added to opam-repository
  17. rfc1951
    Documentation
    Implementation of RFC1951 in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    1.6.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  18. rfc6287
    Documentation
    OCRA (OATH Challenge-Response Algorithm) implementation in OCaml
    Stefan Grundmann <sg2342@googlemail.com>
    1.0.4
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  19. rfc7748
    Documentation
    Edwards Curves X25519 and X448 from RFC 7748
    Markus Rudy
    1.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  20. rfsm
    Documentation
    A toolset for describing and simulating StateChart-like state diagrams
    Jocelyn Sérot <jocelyn.serot@uca.fr>
    2.3
    MIT
    Used by 0 other packages
    Added to opam-repository
  21. rhema

    No documentation

    Rhema: an attribute-grammar language for generating mathematics questions
    education mathematics attribute grammar webwork question generation
    Jingming Zhang Jiaming Lei Xiaobo Huang Jiesen Long Zhiyuan Li
    0.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  22. rhythm
    Documentation
    Data Structures and Algorithms implemented in Reason
    data-structures algorithms
    Kyle Davis <oss@kyldvs.com>
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  23. rich-string
    Documentation
    The rich-string library provides a generic way to enrich the built-in string type with new capabilities
    string rich rich string formatting
    lexa <hello@lexa.qexat.com>
    1.0.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  24. ringo
    Documentation
    Bounded-length collections
    Nomadic Labs
    1.1.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  25. ringo-lwt
    Documentation
    Lwt-wrappers for Ringo caches
    Nomadic Labs
    0.9
    MIT
    Used by 0 other packages
    Added to opam-repository
  26. rio
    Documentation
    Ergonomic, composable, efficient read/write streams
    multicore io streams read write
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.8
    MIT
    Used by 5 other packages
    Added to opam-repository
  27. riot

    No documentation

    An actor-model multi-core scheduler for OCaml 5
    multicore erlang actor message-passing processes
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.9
    MIT
    Used by 4 other packages
    Added to opam-repository
  28. river
    Documentation
    RSS2 and Atom feed aggregator for OCaml
    KC Sivaramakrishnan <sk826@cl.cam.ac.uk>
    0.6
    MIT
    Used by 0 other packages
    Added to opam-repository
  29. rizzo
    Documentation
    FRP library implementation of Rizzo
    FRP space leaks time leaks signals channels functional reactive programming
    Patrick Matthiesen tjobi
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  30. rlp
    Documentation
    RLP: Recursive Length Prefix Encoding
    Yoichi Hirai <i@yoichihirai.com>
    0.1
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  31. rml
    Documentation
    ReactiveML: a programming language for implementing interactive systems
    Louis Mandel louis@reactiveml.org
    1.09.07
    QPL-1.0; LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  32. rmlbuild
    Documentation
    rmlbuild is a fork of ocamlbuild that handles ReactiveML projets
    Nicolas Pouillard Berke Durak Cedric Pasteur Louis Mandel
    0.14.0-00
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  33. robotstxt
    Documentation
    OCaml bindings to google/robotstxt
    Albert Peschar <albert@peschar.net>
    0.2.1
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  34. rock
    Documentation
    Minimalist framework to build extensible HTTP servers and clients
    Rudi Grinberg Anurag Soni Thibaut Mattio
    0.20.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  35. rocq-core
    Documentation
    The Rocq Prover with its prelude
    The Rocq development team, INRIA, CNRS, and contributors
    9.3.0
    LGPL-2.1-only
    Used by 6 other packages
    Added to opam-repository
  36. rocq-devtools
    Documentation
    Development tools for Rocq
    The Rocq development team, INRIA, CNRS, and contributors
    9.3.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  37. rocq-native

    No documentation

    Package flag enabling rocq's native-compiler flag
    The Rocq development team, INRIA, CNRS, and contributors
    3
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  38. rocq-prover
    Documentation
    The Rocq Prover with Stdlib
    The Rocq development team, INRIA, CNRS, and contributors
    meta.1
    LGPL-2.1-only
    Used by 3 other packages
    Added to opam-repository
  39. rocq-runtime
    Documentation
    The Rocq Prover -- Core Binaries and Tools
    The Rocq development team, INRIA, CNRS, and contributors
    9.3.0
    LGPL-2.1-only
    Used by 7 other packages
    Added to opam-repository
  40. rocq-segmap

    No documentation

    A verified implementation of segment maps
    François Pottier <francois.pottier@inria.fr>
    20261102
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  41. rocq-stdlib
    Documentation
    The Rocq Proof Assistant -- Standard Library
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 9 other packages
    Added to opam-repository
  42. rocq-waterproof

    No documentation

    Rocq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jente Wemmenhove Pim Otte Balthazar Pathiachvili Dick Arends Cosmin Manea et al.
    3.1.1+9.0
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  43. rocqide
    Documentation
    The Rocq Prover --- GTK3 IDE
    The Rocq development team, INRIA, CNRS, and contributors
    9.3.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  44. roman
    Documentation
    Manipulate roman numerals (ocaml.org dune/opam tutorial)
    John Whitington
    0.2
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  45. root1d
    Documentation
    Find roots of 1D functions
    scientfic root finding
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Edgar Friendly <thelema314@gmail.com>
    0.5.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  46. rope
    Documentation
    Ropes (heavyweight strings)
    data-structures
    Christophe Troestler
    0.6.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  47. rosa
    Documentation
    String manipulation library
    Tarun Agarwal <me@tarunagarwal.me>
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  48. rosetta
    Documentation
    Universal mapper to Unicode
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.4.0
    MIT
    Used by 5 other packages
    Added to opam-repository
  49. routes
    Documentation
    Typed routing for OCaml applications
    router http
    Anurag Soni
    2.0.0
    BSD-3-clause
    Used by 4 other packages
    Added to opam-repository
  50. rowex
    Documentation
    A Read-Optimistic Write-EXclusive data-structure
    data-structures
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.1
    MIT
    Used by 2 other packages
    Added to opam-repository
... 77 78 79 ... 95