808 search results for "tag:"R""

Showing 201 - 250
  1. fd-send-recv
    Documentation
    Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
    org:mirage org:xapi-project
    David Scott David Sheets Euan Harris Vincent Bernardoff
    2.0.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  2. fehu
    Documentation
    Reinforcement learning for OCaml
    reinforcement-learning machine-learning environments
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    Added to opam-repository
  3. fiat-p256
    Documentation
    Primitives for Elliptic Curve Cryptography taken from Fiat
    org:mirage
    Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology
    0.2.3
    MIT
    Used by 1 other packages
    Added to opam-repository
  4. file-rewriter
    Documentation
    Apply small rewrites to tweak or refactor your files
    codemods refactoring
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 3 other packages
    Added to opam-repository
  5. fmt
    Documentation
    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.11.0
    ISC
    Used by 414 other packages
    Added to opam-repository
  6. fontforge-of-ocaml
    Documentation
    OCaml binding of FontForge
    font fontforge binding
    Patrick Baudin
    1.1.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  7. forcamla
    Documentation
    Organize program execution via formulae
    mathematical programming formula event listeners
    Christopher Sumnicht <csumnicht@berkeley.edu>
    0.2.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  8. fpath
    Documentation
    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 115 other packages
    Added to opam-repository
  9. fpath-base
    Documentation
    Adds a few functions to Fpath to use alongside Base
    fpath fpath-sexp0 absolute-paths relative-paths base
    Mathieu Barbin
    0.4.0
    MIT
    Used by 5 other packages
    Added to opam-repository
  10. fpath-sexp0
    Documentation
    Adds Fpath.sexp_of_t and defines 3 new modules: Fsegment, Absolute_path and Relative_path
    fpath absolute-paths relative-paths
    Mathieu Barbin
    0.4.0
    MIT
    Used by 13 other packages
    Added to opam-repository
  11. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  12. frama-c-lannotate
    Documentation
    Lannotate plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2.5
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  13. frama-c-luncov
    Documentation
    Luncov plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2.4
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  14. frama-c-metacsl
    Documentation
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.10
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  15. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    formal specification C++ plugins ACSL ACSL++
    Virgile Prevosto
    0.0.19
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  16. fred
    Documentation
    API binding for Federal Reserve Economic Data
    api binding federal reserve ecomonic data
    Geoffrey Borough
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  17. fun-postgresql
    Documentation
    PostgreSQL query support
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    0.2.3
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  18. fun-sql
    Documentation
    Shared code for SQL libraries
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    0.2.3
    GPL-3.0-or-later
    Used by 2 other packages
    Added to opam-repository
  19. fun-sqlite
    Documentation
    SQLite query support
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    0.2.3
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  20. functoria
    Documentation
    A DSL to organize functor applications
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  21. functoria-runtime
    Documentation
    Runtime support library for functoria-generated code
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.0.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  22. fungi
    Documentation
    A pure functional graph library
    graph functional networks
    Harry K <harryk@harryk.dev>
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  23. fuseau
    Documentation
    A simple IO and concurrency library for OCaml 5
    await effects event-loop thread-local-storage
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  24. GenArrayIter
    Documentation
    An extension of Genarray to allow iterations over multi-dimensional arrays
    Genarray iter iteration mapping folding Owl Bigarray multi-dimensional array
    Heyji2
    0.3.1
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  25. gen
    Documentation
    Iterators for OCaml, both restartable and consumable
    gen iterator iter fold
    Simon Cruanes ELLIOTTCABLE
    1.1
    BSD-2-Clause
    Used by 12 other packages
    Added to opam-repository
  26. geoip
    Documentation
    Bindings to GeoIP database library.
    org:ygrek
    ygrek
    0.0.3
    Used by 0 other packages
    Added to opam-repository
  27. gg
    Documentation
    Basic types for computer graphics in OCaml
    matrix vector color data-structure graphics org:erratique
    The gg programmers
    1.0.0
    ISC
    Used by 12 other packages
    Added to opam-repository
  28. github
    Documentation
    GitHub APIv3 OCaml library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.5.1
    MIT
    Used by 4 other packages
    Added to opam-repository
  29. github-data
    Documentation
    GitHub APIv3 data library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.5.1
    MIT
    Used by 2 other packages
    Added to opam-repository
  30. github-jsoo
    Documentation
    GitHub APIv3 JavaScript library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.5.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  31. github-unix
    Documentation
    GitHub APIv3 Unix library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.5.1
    MIT
    Used by 4 other packages
    Added to opam-repository
  32. gl-legacy
    Documentation
    Legacy OpenGL immediate-mode bindings for OCaml
    plot 2D 3D graphics openGL
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    0.1.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  33. gles3
    Documentation
    OpenGL ES 3.2 bindings
    graphics 3D openGL Gles
    Christophe Raffalli
    20260725
    MIT
    Used by 4 other packages
    Added to opam-repository
  34. glical
    Documentation
    Glical: glancing at iCalendar data.
    org:ocamllabs
    Philippe Wang <philippe.wang@gmail.com>
    0.0.7
    ISC
    Used by 0 other packages
    Added to opam-repository
  35. glMLite

    No documentation

    OpenGL bindings for OCaml
    bindings opengl graphics 3D
    Florent Monnier
    0.03.53
    Used by 0 other packages
    Added to opam-repository
  36. gluon

    No documentation

    A minimal, portable, and fast API on top of the operating-system's evented I/O API
    async io tcp udp multicore
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.9
    MIT
    Used by 1 other packages
    Added to opam-repository
  37. goblint
    Documentation
    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.8.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  38. gperftools
    Documentation
    Bindings to gperftools
    org:ygrek
    ygrek
    0.5
    Used by 0 other packages
    Added to opam-repository
  39. gpt
    Documentation
    A library to manipulate GUID Partition tables
    mirage ocaml storage gpt
    PizieDust <playersrebirth@gmail.com>
    1.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  40. gptar
    Documentation
    GPT headers that are also valid tar headers
    gpt tar mirage
    Reynir Björnsson <reynir@reynir.dk>
    1.0.0
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  41. gradescope_submit
    Documentation
    A small script to submit to Gradescope via GitHub
    topics git gradescope https api
    Nikhil Mittu
    2.0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  42. graft
    Documentation
    A Forester Preprocessor
    forester
    Patrick Ferris
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  43. graphql_jsoo_client
    Documentation
    GrpahQL over WebSocket client
    graphql jsoo websockets
    Hans Ole Rafaelsen
    0.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  44. grib

    No documentation

    Bindings for the ECMWF GRIB API
    clib:png clib:openjpeg clib:m clib:jpeg clib:jasper clib:grib weather grib
    Hezekiah M. Carty
    0.11.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  45. grpc
    Documentation
    A modular gRPC library
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 4 other packages
    Added to opam-repository
  46. grpc-async
    Documentation
    An Async implementation of gRPC
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  47. grpc-bench
    Documentation
    Benchmarking package for gRPC
    network rpc serialisation benchmark
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  48. grpc-examples

    No documentation

    Various grpc examples
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  49. grpc-lwt
    Documentation
    An Lwt implementation of gRPC
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  50. handlebars-ml
    Documentation
    Handlebars templating for OCaml
    handlebars template
    Kaustubh M <ktvm42@gmail.com>
    0.3.1
    MIT
    Used by 1 other packages
    Added to opam-repository
... 4 5 6 ... 17