726 search results for "tag:"R""

Showing 301 - 350
  1. lzo
    Documentation
    Bindings to LZO - a portable lossless data compression library
    org:ygrek
    ygrek
    0.0.3
    UNLICENSE
    Used by 0 other packages
    07 Aug 2024
  2. macaddr
    Documentation
    A library for manipulation of MAC address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.0
    ISC
    Used by 21 other packages
    24 May 2024
  3. macaddr-cstruct
    Documentation
    A library for manipulation of MAC address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.0
    ISC
    Used by 2 other packages
    24 May 2024
  4. macaddr-sexp
    Documentation
    A library for manipulation of MAC address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.0
    ISC
    Used by 3 other packages
    24 May 2024
  5. matita
    Documentation
    An experimental, interactive theorem prover
    interactive theorem proving calculus of constructions
    HELM Team Andrea Asperti Ferruccio Guidi Luca Padovani Claudio Sacerdoti Coen et al.
    0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    05 Oct 2023
  6. mechaml
    Documentation
    A functional web scraping library
    web scraping mechanize http client
    Yann Hamdaoui <yann.hamdaoui@gmail.com>
    1.2.1
    LGPL-3.0-or-later
    Used by 0 other packages
    06 May 2021
  7. melange-fest
    Documentation
    A minimal test framework for Melange
    melange node org:ahrefs
    Feihong Hsu <feihong.hsu@ahrefs.com> Javier Chávarri <javier.chavarri@ahrefs.com>
    0.1.0
    MIT
    Used by 0 other packages
    08 Mar 2024
  8. melange-moment
    Documentation
    Melange bindings for Moment.js
    melange org:ahrefs
    Jiayu Liu <jimexist@gmail.com>
    0.4.0
    MIT
    Used by 1 other packages
    07 Jun 2024
  9. melange-numeral
    Documentation
    Melange bindings for Numeral
    melange org:ahrefs
    Liubomyr Mykhalchenko <liubomyr.mykhalchenko@ahrefs.com> Denis Strelkov <denis.strelkov@ahrefs.com>
    0.0.1
    MIT
    Used by 0 other packages
    20 Sep 2023
  10. melange-react-dates
    Documentation
    Melange bindings for react-dates
    melange react-js org:ahrefs
    Ahrefs
    1.4.0
    MIT
    Used by 0 other packages
    24 Oct 2023
  11. melange-recharts
    Documentation
    Melange bindings for recharts
    melange org:ahrefs
    Liubomyr Mykhalchenko <liubomyr.mykhalchenko@ahrefs.com>
    4.0.3
    MIT
    Used by 0 other packages
    07 Jun 2024
  12. memcpy
    Documentation
    Safe and efficient copying between blocks of memory.
    org:mirage
    yallop@gmail.com
    0.2.2
    MIT
    Used by 0 other packages
    24 Jul 2023
  13. mesh
    Documentation
    Triangular mesh generation and manipulation
    Mesh Triangulation PDE
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    19 Mar 2019
  14. mesh-easymesh
    Documentation
    Triangular mesh generation with EasyMesh
    Mesh Triangulation PDE
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  15. mesh-triangle
    Documentation
    Binding to the triangle mesh generator
    clib:triangle
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  16. middleware
    Documentation
    Composable stacked functions, which can respond to inner calls
    middleware composition funciton
    Trent Small <sixstring982@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    24 Jan 2024
  17. mindstorm
    Documentation
    Drive Lego Mindstorms bricks from OCaml
    lego robotics mindstorms clib:usb clib:bluetooth
    Christophe Troestler Julie De Pril Marc Ducobu Dany Maslowski
    0.8.1
    LGPL-2.1
    Used by 1 other packages
    12 Nov 2021
  18. mindstorm-lwt
    Documentation
    Drive Lego Mindstorms bricks from OCaml (LWT version)
    lego robotics mindstorms clib:usb clib:bluetooth
    Christophe Troestler Julie De Pril Marc Ducobu Dany Maslowski
    0.8.1
    LGPL-2.1
    Used by 0 other packages
    12 Nov 2021
  19. minima-theme
    Documentation
    OCaml port of the Jekyll Minima theme
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    14 Dec 2016
  20. minisat
    Documentation
    Bindings to the SAT solver Minisat, with the solver included.
    minisat solver SAT
    simon.cruanes.2007@m4x.org
    0.6
    BSD-2-clause
    Used by 2 other packages
    14 Jun 2023
  21. minttea
    Documentation
    A fun, functional, and stateful way to build terminal apps in OCaml heavily inspired by Go's BubbleTea
    tui terminal-ui framework riot
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 1 other packages
    29 Dec 2023
  22. mirage
    Documentation
    The MirageOS library operating system
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.9.0
    ISC
    Used by 4 other packages
    05 Mar 2025
  23. mirage-block
    Documentation
    Block signatures and implementations for MirageOS
    org:mirage
    David Scott Thomas Gazagnaire
    3.0.2
    ISC
    Used by 22 other packages
    29 Nov 2022
  24. mirage-block-combinators
    Documentation
    Block signatures and implementations for MirageOS using Lwt
    org:mirage
    David Scott
    3.0.2
    ISC
    Used by 6 other packages
    29 Nov 2022
  25. mirage-block-lwt
    Documentation
    Block signatures and implementations for MirageOS using Lwt
    org:mirage
    David Scott
    1.2.0
    ISC
    Used by 6 other packages
    04 Feb 2019
  26. mirage-block-ramdisk
    Documentation
    In-memory BLOCK device for MirageOS
    org:mirage
    David Scott
    0.6
    ISC
    Used by 2 other packages
    21 May 2025
  27. mirage-block-solo5
    Documentation
    Solo5 implementation of MirageOS block interface
    org:mirage
    Dan Williams Martin Lucina
    0.8.1
    ISC
    Used by 1 other packages
    29 Nov 2022
  28. mirage-block-unikraft
    Documentation
    Unikraft implementation of MirageOS block interface
    org:mirage
    Fabrice Buoro <fabrice@tarides.com> Samuel Hym <samuel@tarides.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    29 Jun 2025
  29. mirage-block-unix
    Documentation
    MirageOS disk block driver for Unix
    org:mirage
    Dave Scott <dave@recoil.org>
    2.14.2
    ISC
    Used by 11 other packages
    15 Sep 2022
  30. mirage-block-xen
    Documentation
    MirageOS block driver for Xen that implements the blkfront/back protocol
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott Thomas Leonard
    2.1.3
    ISC
    Used by 0 other packages
    09 May 2024
  31. mirage-bootvar
    Documentation
    Boot time arguments for MirageOS
    org:mirage
    Anil Madhavapeddy Dan Williams Hannes Mehnert Jon Ludlam Magnus Skjegstad et al.
    1.0.1
    ISC
    Used by 0 other packages
    22 May 2024
  32. mirage-channel
    Documentation
    Buffered channels for MirageOS FLOW types
    org:mirage
    Anil Madhavapeddy Mindy Preston Thomas Gazagnaire
    5.0.0
    ISC
    Used by 7 other packages
    02 Jun 2025
  33. mirage-channel-lwt
    Documentation
    Buffered Lwt channels for MirageOS FLOW types
    org:mirage
    Anil Madhavapeddy Mindy Preston Thomas Gazagnaire
    3.2.0
    ISC
    Used by 4 other packages
    07 Feb 2019
  34. mirage-clock
    Documentation
    Libraries and module types for portable clocks
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.2.0
    ISC
    Used by 37 other packages
    27 Mar 2022
  35. mirage-clock-lwt
    Documentation
    Lwt-based implementation of the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    2.0.0
    ISC
    Used by 3 other packages
    02 Jan 2019
  36. mirage-clock-unix
    Documentation
    Unix-based implementation for the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.2.0
    ISC
    Used by 21 other packages
    27 Mar 2022
  37. mirage-conduit
    Documentation
    MirageOS interface to network connections
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire
    3.2.0
    ISC
    Used by 2 other packages
    16 Jul 2019
  38. mirage-console
    Documentation
    Implementations of Mirage console devices
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.4.3
    ISC
    Used by 2 other packages
    27 Jun 2019
  39. mirage-console-lwt
    Documentation
    Implementation of Mirage consoles using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.4.3
    ISC
    Used by 1 other packages
    27 Jun 2019
  40. mirage-crypto-ec
    Documentation
    Elliptic Curve Cryptography with primitives taken from Fiat
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> Nathan Rebours <nathan.p.rebours@gmail.com> Clément Pascutto <clement@tarides.com> Etienne Millon <me@emillon.org> Virgile Robles <virgile.robles@protonmail.ch> et al.
    2.0.1
    MIT
    Used by 7 other packages
    15 May 2025
  41. mirage-device
    Documentation
    Abstract devices for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    2.0.0
    ISC
    Used by 2 other packages
    21 Oct 2019
  42. mirage-flow
    Documentation
    Flow implementations and combinators for MirageOS
    org:mirage
    Thomas Gazagnaire Dave Scott
    5.0.0
    ISC
    Used by 31 other packages
    06 Feb 2025
  43. mirage-flow-combinators
    Documentation
    Flow implementations and combinators for MirageOS specialized to lwt
    org:mirage
    Thomas Gazagnaire Dave Scott
    5.0.0
    ISC
    Used by 4 other packages
    06 Feb 2025
  44. mirage-flow-lwt
    Documentation
    Flow implementations and combinators for MirageOS specialized to lwt
    org:mirage
    Thomas Gazagnaire Dave Scott
    1.6.0
    ISC
    Used by 10 other packages
    24 Apr 2019
  45. mirage-flow-unix
    Documentation
    Flow implementations and combinators for MirageOS on Unix
    org:mirage
    Thomas Gazagnaire Dave Scott
    5.0.0
    ISC
    Used by 1 other packages
    06 Feb 2025
  46. mirage-fs
    Documentation
    MirageOS signatures for filesystem devices
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org>
    4.0.0
    ISC
    Used by 2 other packages
    15 Nov 2021
  47. mirage-fs-lwt
    Documentation
    MirageOS signatures for filesystem devices using Lwt
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org>
    2.0.0
    ISC
    Used by 2 other packages
    28 Feb 2019
  48. mirage-kv
    Documentation
    MirageOS signatures for key/value devices
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org> Stefanie Schirmer Hannes Mehnert
    6.1.1
    ISC
    Used by 12 other packages
    03 Apr 2023
  49. mirage-kv-lwt
    Documentation
    MirageOS signatures for key/value devices
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org> Stefanie Schirmer Hannes Mehnert
    2.0.0
    ISC
    Used by 5 other packages
    25 Feb 2019
  50. mirage-kv-mem
    Documentation
    In-memory key value store for MirageOS
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    4.0.0
    ISC
    Used by 2 other packages
    13 Feb 2025
... 6 7 8 ... 15