762 search results for "tag:"R""

Showing 201 - 250
  1. 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
    03 Nov 2025
  2. 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 12 other packages
    03 Nov 2025
  3. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    32.0
    LGPL-2.1-only
    Used by 3 other packages
    08 Dec 2025
  4. 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
    10 Feb 2026
  5. 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
    10 Jul 2025
  6. 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
    30 Jan 2026
  7. 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.18
    LGPL-2.1-only
    Used by 0 other packages
    22 Sep 2025
  8. 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
    17 Apr 2024
  9. frontmatter_extractor
    Documentation
    Front-matter extractor library
    front-matter front text
    Mikhail Lopatin <dx3mod@bk.ru>
    0.1
    MIT
    Used by 0 other packages
    23 Dec 2025
  10. 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
    17 Jun 2024
  11. 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
    17 Jun 2024
  12. 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
    17 Jun 2024
  13. functoria

    No 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
    28 Mar 2022
  14. functoria-runtime

    No 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
    28 Mar 2022
  15. fungi
    Documentation
    A pure functional graph library
    graph functional networks
    Harry K <harryk@harryk.dev>
    0.1.4
    MIT
    Used by 0 other packages
    08 May 2025
  16. 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
    27 Feb 2024
  17. gen
    Documentation
    Iterators for OCaml, both restartable and consumable
    gen iterator iter fold
    Simon Cruanes ELLIOTTCABLE
    1.1
    BSD-2-Clause
    Used by 13 other packages
    16 Mar 2023
  18. geoip
    Documentation
    Bindings to GeoIP database library.
    org:ygrek
    ygrek
    0.0.3
    Used by 0 other packages
    08 Jul 2018
  19. 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 11 other packages
    15 Feb 2022
  20. 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
    19 Dec 2025
  21. 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
    19 Dec 2025
  22. 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
    19 Dec 2025
  23. 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
    19 Dec 2025
  24. 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
    04 Oct 2025
  25. glical
    Documentation
    Glical: glancing at iCalendar data.
    org:ocamllabs
    Philippe Wang <philippe.wang@gmail.com>
    0.0.7
    ISC
    Used by 0 other packages
    03 Sep 2016
  26. glMLite
    Documentation
    OpenGL bindings for OCaml
    bindings opengl graphics 3D
    Florent Monnier
    0.03.53
    Used by 0 other packages
    04 Sep 2019
  27. gluon
    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
    12 Apr 2024
  28. 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.7.1
    MIT
    Used by 0 other packages
    27 Nov 2025
  29. gperftools
    Documentation
    Bindings to gperftools
    org:ygrek
    ygrek
    0.5
    Used by 0 other packages
    19 Feb 2020
  30. 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
    20 Feb 2024
  31. 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
    27 Oct 2024
  32. 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
    04 Jun 2023
  33. graft
    Documentation
    A Forester Preprocessor
    forester
    Patrick Ferris
    0.1.0
    MIT
    Used by 0 other packages
    24 Jul 2025
  34. graphql_jsoo_client
    Documentation
    GrpahQL over WebSocket client
    graphql jsoo websockets
    Hans Ole Rafaelsen
    0.1.1
    MIT
    Used by 0 other packages
    30 Apr 2024
  35. 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
    06 Sep 2015
  36. 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
    25 Oct 2023
  37. 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
    25 Oct 2023
  38. 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
    25 Oct 2023
  39. 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
    25 Oct 2023
  40. 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
    25 Oct 2023
  41. handlebars-ml
    Documentation
    Handlebars templating for OCaml
    handlebars template
    Kaustubh M <ktvm42@gmail.com>
    0.3.0
    MIT
    Used by 1 other packages
    11 Nov 2025
  42. hardcaml-lua
    Documentation
    A lua client for interfacing hardcaml to verilator, UHDM, Verible and RTLIL front-ends
    Verilator Surelog UHDM Verible Yosys RTLIL
    Jonathan Kimmitt
    0.0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  43. hdfs

    No documentation

    Bindings to libhdfs
    org:ygrek clib:hdfs
    ygrek
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    12 Oct 2021
  44. hdr_histogram
    Documentation
    OCaml bindings to Hdr Histogram
    histogram tail latency
    KC Sivaramakrishnan
    0.0.4
    MIT
    Used by 1 other packages
    24 Jan 2024
  45. header-check
    Documentation
    A tool to check and update source headers, using checksums
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  46. heroicons-reason-react
    Documentation
    ReasonML bindings to the Heroicons React components
    heroicons icons reason react
    Ben Bellick <benbellick@pm.me>
    1.0
    MIT
    Used by 0 other packages
    12 Jan 2025
  47. hmap
    Documentation
    Heterogeneous value maps for OCaml
    data-structure org:erratique
    Daniel Bünzli
    0.8.1
    ISC
    Used by 18 other packages
    05 Oct 2017
  48. hooke
    Documentation
    A spring-physics library for OCaml
    physics springs animation
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 0 other packages
    14 Dec 2023
  49. hsluv
    Documentation
    HSLuv human-friendly color space implementation in OCaml
    color hsluv hpluv rgb xyz lch luv color space color conversion perceptually uniform colors
    Sabine Schmaltz
    0.1.0
    MIT
    Used by 1 other packages
    23 Dec 2023
  50. htmlit
    Documentation
    HTML generation combinators for OCaml
    web html org:erratique
    The htmlit programmers
    0.2.0
    ISC
    Used by 0 other packages
    28 Jul 2025
... 4 5 6 ... 16