749 search results for "tag:"R""

Showing 301 - 350
  1. lwt_named_threads
    Documentation
    Library to attach names and logs to Lwt threads (for debug/trace/objsize)
    org:ahrefs
    Dmitry Grebeniuk <gdsfh1@gmail.com>
    0.1
    Used by 0 other packages
    01 Jun 2016
  2. lz4
    Documentation
    Bindings to the LZ4 compression algorithm
    lz4 compression decompression
    whitequark <whitequark@whitequark.org>
    1.3.0
    BSD-3-clause
    Used by 3 other packages
    07 Sep 2023
  3. 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
  4. 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 23 other packages
    24 May 2024
  5. 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
  6. 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
  7. maki

    No documentation

    Persistent incremental computations, for repeatable tests and benchmarks.
    incremental persistent memoization
    Simon Cruanes
    0.2
    Used by 0 other packages
    26 Feb 2017
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. message-switch

    No documentation

    A simple store-and-forward message switch.
    org:xapi-project
    xen-api@lists.xen.org
    1.4.0
    Used by 1 other packages
    06 Jun 2017
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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.8.1
    ISC
    Used by 4 other packages
    15 Oct 2024
  27. mirage-block
    Documentation
    Block signatures and implementations for MirageOS
    org:mirage
    David Scott Thomas Gazagnaire
    3.0.2
    ISC
    Used by 21 other packages
    29 Nov 2022
  28. 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
  29. mirage-block-lwt
    Documentation
    Block signatures and implementations for MirageOS using Lwt
    org:mirage
    David Scott
    1.2.0
    ISC
    Used by 10 other packages
    04 Feb 2019
  30. mirage-block-ramdisk
    Documentation
    In-memory BLOCK device for MirageOS
    org:mirage
    David Scott
    0.5
    ISC
    Used by 4 other packages
    11 Jun 2020
  31. 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
  32. mirage-block-unix
    Documentation
    MirageOS disk block driver for Unix
    org:mirage
    Dave Scott <dave@recoil.org>
    2.14.2
    ISC
    Used by 16 other packages
    15 Sep 2022
  33. 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
  34. 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
  35. mirage-bootvar-solo5
    Documentation
    Solo5 implementation of MirageOS Bootvar interface
    org:mirage
    Dan Williams <djwillia@us.ibm.com> Magnus Skjegstad <magnus@skjegstad.com> Martin Lucina <martin@lucina.net>
    0.6.0
    ISC
    Used by 0 other packages
    26 Sep 2019
  36. mirage-bootvar-unix
    Documentation
    Unix implementation of MirageOS Bootvar interface
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    0.1.0
    ISC
    Used by 4 other packages
    29 Oct 2018
  37. mirage-channel
    Documentation
    Buffered channels for MirageOS FLOW types
    org:mirage
    Anil Madhavapeddy Mindy Preston Thomas Gazagnaire
    4.1.0
    ISC
    Used by 9 other packages
    04 Apr 2022
  38. 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 7 other packages
    07 Feb 2019
  39. 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 51 other packages
    27 Mar 2022
  40. mirage-clock-freestanding
    Documentation
    Paravirtual implementation of the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.1.0
    ISC
    Used by 1 other packages
    02 Feb 2022
  41. 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 10 other packages
    02 Jan 2019
  42. mirage-clock-solo5
    Documentation
    Paravirtual implementation of the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.2.0
    ISC
    Used by 0 other packages
    27 Mar 2022
  43. 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 30 other packages
    27 Mar 2022
  44. mirage-clock-xen
    Documentation
    A Mirage-compatible Clock library for Xen
    org:mirage org:xapi-project
    The MirageOS team
    1.1
    Used by 2 other packages
    05 Jan 2016
  45. mirage-conduit
    Documentation
    MirageOS interface to network connections
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire
    3.2.0
    ISC
    Used by 5 other packages
    16 Jul 2019
  46. mirage-console
    Documentation
    Implementations of Mirage console devices
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 6 other packages
    02 Feb 2022
  47. 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 7 other packages
    27 Jun 2019
  48. mirage-console-solo5
    Documentation
    Solo5 implementation of MirageOS console interface
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.8.0
    ISC
    Used by 0 other packages
    27 Mar 2022
  49. mirage-console-unix
    Documentation
    Implementation of Mirage consoles for Unix
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 7 other packages
    02 Feb 2022
  50. mirage-console-xen
    Documentation
    Implementation of Mirage console for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 0 other packages
    02 Feb 2022
... 6 7 8 ... 15