888 search results for "tag:"R""

Showing 151 - 200
  1. 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
  2. curl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 10 other packages
    Added to opam-repository
  3. 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
  4. curve448
    Documentation
    X448 and Ed448 (RFC 7748, RFC 8032) for OCaml
    cryptography x448 ed448 curve448 rfc7748 rfc8032 elliptic curves
    Ville Vesilehto <ville@vesilehto.fi>
    0.1.0
    ISC AND MIT
    Used by 1 other packages
    Added to opam-repository
  5. 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
  6. deepseek
    Documentation
    Deepseek v4 LLM
    org:blacksun deepseek llm
    Anil Madhavapeddy
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  7. 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
  8. 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
  9. diet
    Documentation
    Discrete Interval Encoding Trees
    data-structures
    David Scott
    0.4
    ISC
    Used by 4 other packages
    Added to opam-repository
  10. 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
  11. 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
  12. dlist
    Documentation
    A purely functional list-like data structure supporting O(1) concatenation
    data-structures
    BYVoid <byvoid@byvoid.com>
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  13. 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
  14. 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
  15. docfd
    Documentation
    TUI multiline fuzzy document finder
    fuzzy document finder
    Darren Li
    13.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. 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.4
    ISC
    Used by 4 other packages
    Added to opam-repository
  17. dockerfile-cmd
    Documentation
    Dockerfile eDSL -- generation support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.4
    ISC
    Used by 1 other packages
    Added to opam-repository
  18. dockerfile-opam
    Documentation
    Dockerfile eDSL -- opam support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.4
    ISC
    Used by 1 other packages
    Added to opam-repository
  19. doctor
    Documentation
    Diagnostic CLI for OCaml development environments
    cli diagnostics developer-tools opam dune lsp windows
    Thomas B.
    0.4.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  20. dolmen

    No documentation

    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 9 other packages
    Added to opam-repository
  21. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  22. dolmen_loop
    Documentation
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 6 other packages
    Added to opam-repository
  23. dolmen_lsp
    Documentation
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  24. dolmen_model
    Documentation
    The Dolmen library for verifying models generated by automated theorem provers and SMT solvers
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  25. dolmen_type
    Documentation
    The Dolmen library for typechecking languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 7 other packages
    Added to opam-repository
  26. down
    Documentation
    An OCaml toplevel (REPL) upgrade
    dev toplevel repl org:erratique
    The down programmers
    0.4.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  27. dream
    Documentation
    Tidy, feature-complete Web framework
    http web framework websocket graphql server http2 tls
    Anton Bachin
    1.0.0~alpha8
    MIT
    Used by 23 other packages
    Added to opam-repository
  28. dream-html
    Documentation
    HTML generator eDSL for Dream
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    4.0.0
    GPL-3.0-or-later
    Used by 1 other packages
    Added to opam-repository
  29. dream-inertia
    Documentation
    Inertia protocol for OCaml Dream
    inertia dream protocol web
    Joris Gundermann
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  30. dream_middleware_ext
    Documentation
    A collection of middleware utilities for Dream framework
    http web framework middleware
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  31. drom
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  32. drom_lib
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  33. drom_toml
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  34. dropbox
    Documentation
    Binding to the Dropbox Remote API
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  35. dropbox_lwt_unix
    Documentation
    Binding to the Dropbox Remote API (Unix)
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  36. duff
    Documentation
    Rabin's fingerprint and diff algorithm in OCaml
    algorithms
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5
    MIT
    Used by 1 other packages
    Added to opam-repository
  37. dune-ai-context
    Documentation
    Extract dune external dependencies and generate interface context for AI tools
    ocaml dune cmi interfaces ai
    ZFY <zf.yuan.y@gmail.com>
    0.1.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  38. dune-rpc-eio
    Documentation
    Client for dune's RPC server using Eio
    org:blacksun dune rpc eio
    Anil Madhavapeddy
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  39. dunolint
    Documentation
    A linter for build files in dune projects
    dune linter
    Mathieu Barbin
    0.0.20260306
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    Added to opam-repository
  40. dunolint-lib
    Documentation
    A library to create dunolint configs
    dune linter
    Mathieu Barbin
    0.0.20260306
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 2 other packages
    Added to opam-repository
  41. duras
    Documentation
    Daily notes as plain text files with optional encryption
    note-taking note-keeping plain-text sigline encryption
    Sergiy Duras <sergiy@duras.org>
    2.1.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  42. dynamic_gc
    Documentation
    Dynamically adjust GC behavior based on memory usage
    garbage collector gc
    Nat Mote <nat@semgrep.com>
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  43. dyntype
    Documentation
    syntax extension which makes OCaml types and values easier to manipulate programmatically
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire
    0.9.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  44. enumerators
    Documentation
    Finite lazy enumerators
    org:cryptosense
    Bertrand Bonnefoy-Claudet <bertrand@cryptosense.com>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  45. ephemeral
    Documentation
    Visualize spacecraft trajectories
    NASA Space Spacecraft Moon Plotting Trajectory
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  46. erssical
    Documentation
    Converting RSS event feeds to ical
    rss xml ical http
    Zoggy <zoggy@bat8.org>
    1.1.0
    LGPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  47. esa
    Documentation
    Enhanced Suffix Array
    esa tokenizer llm bioinformatics
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  48. esgg
    Documentation
    Elasticsearch guided (code) generator
    org:ahrefs
    Ahrefs Pte Ltd <github@ahrefs.com>
    20260908
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  49. esperanto

    No documentation

    An OCaml compiler with Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  50. esperanto-cosmopolitan
    Documentation
    Cosmopolitan toolchain for OCaml compiler
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.6
    MIT
    Used by 3 other packages
    Added to opam-repository
... 3 4 5 ... 18