888 search results for "tag:"R""

Showing 351 - 400
  1. lstar
    Documentation
    Automata learning with lstar-rocq
    algorithms
    Charles Averill <charlesaverill20@gmail.com>
    3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  2. lstar-rocq
    Documentation
    Formally-verified automata learning in Rocq
    algorithms
    Charles Averill <charlesaverill20@gmail.com>
    3.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  3. luna
    Documentation
    Luhn validation library for OCaml
    luhn validation checksum algorithms
    Khalid B. me@khal1d.com
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  4. lwt-parallel
    Documentation
    Lwt-enabled Parallel Processing Library
    lwt parallel fork
    Ivan Gotovchits <ivg@ieee.org>
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  5. lwt-pipe
    Documentation
    An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
    lwt pipe stream blocking
    Simon Cruanes
    0.1
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  6. 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
    Added to opam-repository
  7. lz4
    Documentation
    Bindings to the LZ4 compression algorithm
    lz4 compression decompression
    whitequark <whitequark@whitequark.org>
    1.3.0
    BSD-3-clause
    Used by 4 other packages
    Added to opam-repository
  8. lzo
    Documentation
    Bindings to LZO - a portable lossless data compression library
    org:ygrek
    ygrek
    0.0.3
    UNLICENSE
    Used by 0 other packages
    Added to opam-repository
  9. macaddr
    Documentation
    A library for manipulation of MAC address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.2
    ISC
    Used by 24 other packages
    Added to opam-repository
  10. 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.2
    ISC
    Used by 2 other packages
    Added to opam-repository
  11. 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.2
    ISC
    Used by 3 other packages
    Added to opam-repository
  12. markdown_monolith
    Documentation
    Produce a single monolithic Markdown file by inlining linked files
    markdown documentation tools
    Will Thomas <30wthomas@gmail.com>
    0.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  13. matita

    No 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
    Added to opam-repository
  14. matrix
    Documentation
    Fast, modern terminal toolkit for OCaml
    terminal ansi input grid rendering unicode pty vte
    Thibaut Mattio
    0.1.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  15. matrix-eio
    Documentation
    Eio-based runtime for the Matrix terminal library
    terminal eio structured-concurrency
    Thibaut Mattio
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. mel-bastet
    Documentation
    A Melange-focused fork of Bastet for category theory and abstract algebra
    category theory abstract algebra algebra cats
    John Haley
    1.0.0
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  18. 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.2.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. 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
    Added to opam-repository
  21. melange-react-dates
    Documentation
    Melange bindings for react-dates
    melange react-js org:ahrefs
    Ahrefs
    1.4.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. memcpy
    Documentation
    safe and efficient copying between blocks of memory
    org:mirage
    yallop@gmail.com
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  24. menhir-lsp
    Documentation
    Language Server for Menhir and Ocamllex
    lsp menhir ocamllex
    Federico Dal Pio Luogo
    0.5.0
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  25. menhirformat
    Documentation
    Formatter for Menhir and ocamllex
    format menhir ocamllex
    Federico Dal Pio Luogo
    0.3.0
    GPL-2.0-only
    Used by 1 other packages
    Added to opam-repository
  26. mergeable-vector
    Documentation
    Mergeable vector based on operational transformation
    data-structures
    KC Sivaramakrishnan <sk826@cl.cam.ac.uk>
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  27. 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
    Added to opam-repository
  28. 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
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. 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
    Added to opam-repository
  31. migra
    Documentation
    A database migration tool and library for OCaml supporting PostgreSQL, MariaDB/MySQL, and SQLite
    database migrations postgresql mariadb mysql sqlite
    David Sinclair
    2.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  32. 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
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. 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
    Added to opam-repository
  35. 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
    Added to opam-repository
  36. 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
    Added to opam-repository
  37. 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.11.2
    ISC
    Used by 4 other packages
    Added to opam-repository
  38. mirage-block
    Documentation
    Block signatures and implementations for MirageOS
    org:mirage
    David Scott Thomas Gazagnaire
    3.0.2
    ISC
    Used by 23 other packages
    Added to opam-repository
  39. 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
    Added to opam-repository
  40. mirage-block-lwt
    Documentation
    Block signatures and implementations for MirageOS using Lwt
    org:mirage
    David Scott
    1.2.0
    ISC
    Used by 4 other packages
    Added to opam-repository
  41. mirage-block-ramdisk
    Documentation
    In-memory BLOCK device for MirageOS
    org:mirage
    David Scott
    0.6
    ISC
    Used by 2 other packages
    Added to opam-repository
  42. 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
    Added to opam-repository
  43. 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
    Added to opam-repository
  44. 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
    Added to opam-repository
  45. 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
    Added to opam-repository
  46. 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
    Added to opam-repository
  47. 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
    Added to opam-repository
  48. 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
    Added to opam-repository
  49. 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
    Added to opam-repository
  50. 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
    Added to opam-repository
... 7 8 9 ... 18