4725 search results for ""

Showing 3901 - 3950
  1. rpc
    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
    Added to opam-repository
  2. 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
    Added to opam-repository
  3. rpclib
    Documentation
    A library to deal with RPCs in OCaml
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    10.2.0
    ISC
    Used by 7 other packages
    Added to opam-repository
  4. rpclib-async
    Documentation
    A library to deal with RPCs in OCaml - Async interface
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    10.2.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  5. rpclib-html
    Documentation
    A library to deal with RPCs in OCaml - html documentation generator
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    10.2.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  6. 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
    10.2.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  7. rpclib-lwt
    Documentation
    A library to deal with RPCs in OCaml - Lwt interface
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    10.2.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  8. rpmfile
    Documentation
    A pure OCaml library for parsing RPM files
    rpm rpmfile
    Mikhail Lopatin <dx3mod@bk.ru>
    1.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  9. 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
    Added to opam-repository
  10. 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
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. rresult
    Documentation
    Result value combinators for OCaml
    result error org:erratique
    The rresult programmers
    0.7.0
    ISC
    Used by 112 other packages
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. 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
    Added to opam-repository
  15. rtop
    Documentation
    Reason toplevel
    Jordan Walke <jordojw@gmail.com>
    3.18.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. rtree
    Documentation
    A pure OCaml R-Tree implementation
    spatial index
    Marius A. Eriksen Patrick Ferris
    0.3.0
    BSD-3-Clause; ISC
    Used by 0 other packages
    Added to opam-repository
  17. rune
    Documentation
    Functional transformations for Nx arrays
    automatic-differentiation machine-learning deep-learning optimization
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 2 other packages
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. runtime_events_tools
    Documentation
    Tools for the runtime events tracing system in OCaml
    Sadiq Jaffer
    0.5.4
    ISC
    Used by 1 other packages
    Added to opam-repository
  20. runtime_events_tools_bare
    Documentation
    Tools for the runtime events tracing system in OCaml
    Sadiq Jaffer
    0.5.4
    ISC
    Used by 0 other packages
    Added to opam-repository
  21. rusage
    Documentation
    Bindings to the GETRUSAGE(2) syscall
    Zach Shipko
    1.0.0
    MIT
    Used by 4 other packages
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. 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
    Added to opam-repository
  24. 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
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. safa
    Documentation
    Symbolic Algorithms for Finite Automata
    algorithms
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.4
    LGPL-3.0-only
    Used by 1 other packages
    Added to opam-repository
  27. safemoney
    Documentation
    A type safe money manipulation library
    Geoffrey Borough
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  28. safepass
    Documentation
    Facilities for the safe storage of user passwords
    Dario Teixeira <dario.teixeira@nleyten.com>
    3.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Added to opam-repository
  29. saga
    Documentation
    Text processing and NLP extensions for Nx
    text-processing nlp natural-language-processing tokenization
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 3 other packages
    Added to opam-repository
  30. sail
    Documentation
    Sail is a language for describing the instruction semantics of processors
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  31. sail_c_backend
    Documentation
    Sail to C translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  32. sail_coq_backend
    Documentation
    Sail to Coq translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  33. sail_doc_backend
    Documentation
    Sail documentation generator
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  34. sail_latex_backend
    Documentation
    Sail to LaTeX formatting
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  35. sail_lean_backend
    Documentation
    Sail to Lean translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  36. sail_lem_backend
    Documentation
    Sail to Lem translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  37. sail_maker
    Documentation
    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  38. sail_manifest
    Documentation
    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  39. sail_ocaml_backend
    Documentation
    Sail to OCaml translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  40. sail_output
    Documentation
    Example Sail output plugin
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  41. sail_smt_backend
    Documentation
    Sail to SMT translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  42. sail_sv_backend
    Documentation
    Sail to Systemverilog translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.3
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  43. salsa20
    Documentation
    Salsa20 family of encryption functions, in pure OCaml
    Alfredo Beaumont <alfredo.beaumont@gmail.com>
    1.2.0
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  44. salsa20-core
    Documentation
    The Salsa20 core functions, in OCaml
    Alfredo Beaumont <alfredo.beaumont@gmail.com>
    2.0.0
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  45. salto-analyzer
    Documentation
    Salto static analyzer for OCaml programs
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr> Benoît Montagu <benoit.montagu@inria.fr>
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  46. saltoIL
    Documentation
    Salto Intermediate Language
    Benoît Montagu <benoit.montagu@inria.fr> Pierre Lermusiaux <pierre.lermusiaux@inria.fr>
    0.2.1
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  47. samplerate
    Documentation
    Samplerate audio conversion library
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.1.6
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  48. sanddb
    Documentation
    A simple immutable database for the masses
    Robert Toth
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  49. sanlock

    No documentation

    Ctypes bindings to libsanlock for OCaml
    Si Beaumont
    0.0.9
    Used by 0 other packages
    Added to opam-repository
  50. sarek
    Documentation
    GPGPU kernel DSL for OCaml
    Mathias Bourgoin
    20210823
    Cecill-B
    Used by 0 other packages
    Added to opam-repository
... 78 79 80 ... 95