4309 search results for "author:" ""

Showing 3401 - 3450
  1. 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
    25 Mar 2020
  2. rfc7748
    Documentation
    Edwards Curves X25519 and X448 from RFC 7748
    Markus Rudy
    1.0
    BSD-3-Clause
    Used by 0 other packages
    06 Dec 2018
  3. rfsm
    Documentation
    A toolset for describing and simulating StateChart-like state diagrams
    Jocelyn Sérot <jocelyn.serot@uca.fr>
    2.0
    MIT
    Used by 0 other packages
    12 Dec 2023
  4. rhythm
    Documentation
    Data Structures and Algorithms implemented in Reason
    Kyle Davis <oss@kyldvs.com>
    0.0.1
    MIT
    Used by 0 other packages
    28 Jan 2019
  5. ringo
    Documentation
    Bounded-length collections
    Nomadic Labs
    1.1.0
    MIT
    Used by 4 other packages
    14 Jun 2024
  6. ringo-lwt
    Documentation
    Lwt-wrappers for Ringo caches
    Nomadic Labs
    0.9
    MIT
    Used by 0 other packages
    14 Apr 2022
  7. 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
    05 Mar 2024
  8. riot
    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
    15 Apr 2024
  9. river
    Documentation
    RSS2 and Atom feed aggregator for OCaml
    KC Sivaramakrishnan <sk826@cl.cam.ac.uk>
    0.4
    MIT
    Used by 0 other packages
    08 Nov 2024
  10. rlp
    Documentation
    RLP: Recursive Length Prefix Encoding
    Yoichi Hirai <i@yoichihirai.com>
    0.1
    Apache-2.0
    Used by 0 other packages
    07 Sep 2017
  11. 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
    27 Jul 2021
  12. 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
    24 Sep 2020
  13. 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
    11 Dec 2020
  14. rocq-core
    Documentation
    The Rocq Prover with its prelude
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 2 other packages
    20 Mar 2025
  15. rocq-prover
    Documentation
    The Rocq Prover with Stdlib
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 2 other packages
    20 Mar 2025
  16. rocq-runtime
    Documentation
    The Rocq Prover -- Core Binaries and Tools
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 4 other packages
    20 Mar 2025
  17. rocq-stdlib
    Documentation
    The Rocq Proof Assistant -- Standard Library
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 2 other packages
    20 Mar 2025
  18. rocqide
    Documentation
    The Rocq Prover --- GTK3 IDE
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 0 other packages
    20 Mar 2025
  19. roman
    Documentation
    Manipulate roman numerals (ocaml.org dune/opam tutorial)
    John Whitington
    0.2
    BSD-2-Clause
    Used by 0 other packages
    28 Apr 2021
  20. 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
    07 Sep 2018
  21. rope
    Documentation
    Ropes (heavyweight strings)
    datastructure
    Christophe Troestler
    0.6.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Feb 2024
  22. rosa
    Documentation
    String manipulation library
    Tarun Agarwal <me@tarunagarwal.me>
    0.2.0
    MIT
    Used by 0 other packages
    30 May 2022
  23. rosetta
    Documentation
    Universal mapper to Unicode
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.3.0
    MIT
    Used by 4 other packages
    14 Mar 2020
  24. rotor

    No documentation

    An automatic refactoring tool for OCaml
    Reuben N. S. Rowe <reuben.rowe@cantab.net> Hugo Férée <hugo.feree@gmail.com>
    0.1
    MIT
    Used by 0 other packages
    29 Aug 2019
  25. routes
    Documentation
    Typed routing for OCaml applications
    router http
    Anurag Soni
    2.0.0
    BSD-3-clause
    Used by 3 other packages
    11 Oct 2022
  26. rpc

    No documentation

    A library to deal with RPCs in OCaml - meta-package
    org:mirage org:xapi-project deprecated
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 1 other packages
    16 Jun 2022
  27. rpc_parallel
    Documentation
    Type-safe parallel library built on top of Async_rpc
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  28. rpclib
    Documentation
    A library to deal with RPCs in OCaml
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 8 other packages
    16 Jun 2022
  29. rpclib-async
    Documentation
    A library to deal with RPCs in OCaml - Async interface
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 1 other packages
    16 Jun 2022
  30. rpclib-html
    Documentation
    A library to deal with RPCs in OCaml - html documentation generator
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 0 other packages
    16 Jun 2022
  31. rpclib-js
    Documentation
    A library to deal with RPCs in OCaml - Bindings for js_of_ocaml
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 0 other packages
    16 Jun 2022
  32. rpclib-lwt

    No documentation

    A library to deal with RPCs in OCaml - Lwt interface
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 2 other packages
    16 Jun 2022
  33. rpmfile
    Documentation
    RPM package metadata reader
    rpm parser rpmfile
    Mikhail Lopatin <dx3mod@bk.ru>
    0.5.0
    MIT
    Used by 2 other packages
    27 Oct 2024
  34. rpmfile-cli
    Documentation
    CLI utility for reading RPM package information (like rpm -qi)
    rpm parser rpmfile
    Mikhail Lopatin <dx3mod@bk.ru>
    0.4.0
    MIT
    Used by 0 other packages
    30 Sep 2024
  35. rpmfile-eio
    Documentation
    RPM package metadata reader (powered by Eio)
    rpm parser rpmfile
    Mikhail Lopatin <dx3mod@bk.ru>
    0.5.0
    MIT
    Used by 1 other packages
    27 Oct 2024
  36. rpmfile-unix
    Documentation
    RPM package metadata reader (powered by Angstrom)
    rpm parser rpmfile
    Mikhail Lopatin <dx3mod@bk.ru>
    0.5.0
    MIT
    Used by 0 other packages
    27 Oct 2024
  37. rresult
    Documentation
    Result value combinators for OCaml
    result error org:erratique
    The rresult programmers
    0.7.0
    ISC
    Used by 136 other packages
    06 Oct 2021
  38. rsdd
    Documentation
    Bindings for RSDD
    Steven Holtzen <s.holtzen@northeastern.edu> Matt Wang <mxw@cs.washington.edu>
    0.1.0
    MIT
    Used by 0 other packages
    06 Oct 2023
  39. rss
    Documentation
    Library to read and write RSS files
    rss xml
    Zoggy <zoggy@bat8.org>
    3.0
    LGPL-3.0-only
    Used by 1 other packages
    03 Aug 2021
  40. rtop

    No documentation

    Reason toplevel
    Jordan Walke <jordojw@gmail.com>
    3.16.0
    MIT
    Used by 0 other packages
    07 Apr 2025
  41. rtree
    Documentation
    A pure OCaml R-Tree implementation
    spatial index
    Marius A. Eriksen Patrick Ferris
    0.1.1
    BSD-3-Clause
    Used by 0 other packages
    17 Aug 2023
  42. rungen
    Documentation
    Generates dune files to run benchmarks from centralised config
    Sadiq Jaffer <sadiq@toao.com>
    0.0.1
    MIT
    Used by 0 other packages
    18 Feb 2021
  43. runtime_events_tools
    Documentation
    Tools for the runtime events tracing system in OCaml
    Sadiq Jaffer
    0.5.1
    ISC
    Used by 1 other packages
    27 Feb 2024
  44. rusage
    Documentation
    Bindings to the GETRUSAGE(2) syscall
    Zach Shipko
    1.0.0
    MIT
    Used by 5 other packages
    19 Nov 2020
  45. rust-staticlib-gen
    Documentation
    Utility for generating Rust static libraries for OCaml projects
    Konstantin Olkhovskiy <lupus@oxnull.net>
    0.2.2
    Apache-2.0
    Used by 0 other packages
    12 Nov 2024
  46. rust-staticlib-virtual
    Documentation
    A Sentinel/marker package to define the rust staticlib virtual library
    Konstantin Olkhovskiy <lupus@oxnull.net>
    0.2.2
    Apache-2.0
    Used by 1 other packages
    12 Nov 2024
  47. Snowflake
    Documentation
    Snowflake : A Generic Symbolic Dynamic Programming framework
    Joan Thibault <joan.thibault@ens-rennes.fr>
    0.02.03
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    05 Sep 2022
  48. SourceCode_ASCII
    Documentation
    ASCII-based library for generating and querying source code
    Diskuv, Inc. <opensource+dkml@support.diskuv.com>
    0.1.0
    Apache-2.0
    Used by 0 other packages
    10 Jan 2024
  49. SZXX
    Documentation
    Streaming ZIP XML XLSX parser
    XLSX Excel ZIP XML spreadsheet Stream Streaming
    Simon Grondin
    4.2.0
    MIT
    Used by 0 other packages
    22 Dec 2024
  50. safa
    Documentation
    Symbolic Algorithms for Finite Automata
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.4
    LGPL-3.0-only
    Used by 1 other packages
    02 Feb 2016
... 68 69 70 ... 87