808 search results for "tag:"R""

Showing 651 - 700
  1. slipshow
    Documentation
    A compiler from Markdown to slipshow
    slipshow presentation slideshow beamer
    Paul-Elliot
    0.12.0
    GPL-3.0-or-later; ISC; BSD-3-Clause; Apache-2.0; OFL-1.1
    Used by 1 other packages
    Added to opam-repository
  2. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  3. snappy
    Documentation
    Bindings to snappy - fast compression/decompression library
    org:ygrek clib:snappy
    ygrek
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  4. snf_mcp
    Documentation
    A Model Context Protocol server for web search and content fetching
    mcp fetch search web eio ocaml
    Marcello Seri <marcello.seri@gmail.com>
    0.2.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  5. snkv
    Documentation
    OCaml bindings for SNKV key-value store
    database key-value sqlite binding encryption ttl
    Tomasz Barański <tomasz.baranski@posteo.net>
    0.1.1
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  6. sodium
    Documentation
    Binding to libsodium UNAUDITED
    org:mirage
    David Sheets <sheets@alum.mit.edu> Peter Zotov <whitequark@whitequark.org> Benjamin Canou <benjamin@ocamlpro.com>
    0.6.0
    Used by 1 other packages
    Added to opam-repository
  7. solid

    No documentation

    Library to build SOLID applications
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.5.0
    LGPL-3.0-only
    Used by 2 other packages
    Added to opam-repository
  8. solid_server

    No documentation

    SOLID server under development
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.5.0
    LGPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  9. solid_tools

    No documentation

    Library to build SOLID tools
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.5.0
    LGPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  10. solidity-alcotest
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  11. solidity-common
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Added to opam-repository
  12. solidity-parser
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Added to opam-repository
  13. solidity-test
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  14. solidity-typechecker
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  15. sowilo
    Documentation
    Differentiable computer vision for OCaml
    computer-vision image-processing feature-detection machine-learning
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    Added to opam-repository
  16. spices
    Documentation
    Declarative styles for TUI applications
    styling styles declarative framework tui terminal-ui apps
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 4 other packages
    Added to opam-repository
  17. spurs
    Documentation
    A lightweight native sparse matrix library
    sparse matrices
    Nikhil Kamath <nikhil.k123234@gmail.com>
    0.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  18. sqlgg
    Documentation
    SQL Guided (code) Generator
    org:ygrek
    ygrek
    20260721
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  19. starpath
    Documentation
    A position-aware parser combinator library with readable errors
    parser parser-combinators
    Matthew Toohey <contact@mtoohey.com>
    0.1.5
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  20. stdlib-shims
    Documentation
    Backport some of the new stdlib features to older compiler
    stdlib compatibility org:ocaml
    The stdlib-shims programmers
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 76 other packages
    Added to opam-repository
  21. stemming
    Documentation
    Collection of stemmers
    org:ygrek
    ygrek Mykola Stryebkov
    0.2.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  22. stitch
    Documentation
    Refactoring framework
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    0.0.0
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  23. stog-rdf

    No documentation

    Plugin for Stog. Define and query RDF graphs in rewrite rules.
    publication rdf sparql semantic web
    Maxence Guesdon
    0.16.1
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  24. stog-writing
    Documentation
    Stog plugin adding new rewrite rules to use footnotes and bibliographies in documents
    publication web blog bibliography
    Zoggy <zoggy@bat8.org>
    0.19.0
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  25. stramon-lib
    Documentation
    Process behavior monitoring library based on strace
    strace process monitoring
    Darren Ldl
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  26. stringCodepointSplitter
    Documentation
    Split a string to a list of strings of a character by the unicode codepoint
    string utf8
    Tan Kian-ting <yoxem@kianting.info>
    0.0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  27. subprocess
    Documentation
    Nice interfaces handling I/O with Unix commands
    unix processes io commands
    Aaron Christianson
    0.2.1
    MPL-2.0
    Used by 0 other packages
    Added to opam-repository
  28. sun
    Documentation
    Take screenshot under Wayland
    sun screenshot wayland grim slurp
    redianthus <redopam@pm.me>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  29. sundialsml

    No documentation

    Interface to the Sundials suite of numerical solvers
    numerical simulation mathematics science
    Timothy Bourke <tim@tbrk.org> Jun Inoue <Jun.Lambda@gmail.com> Marc Pouzet <Marc.Pouzet@ens.fr>
    6.1.1p1
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  30. swapfs
    Documentation
    Streaming temporary storage for Mirage OS
    org:mirage org:robur swap
    Reynir Björnsson <reynir@reynir.dk>
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  31. swhid
    Documentation
    OCaml library to work with Software Heritage identifiers
    swh software heritage archive swhid persistent identifier
    redianthus <leo@ocaml.pro> Dario Pinto <dario.pinto@ocamlpro.com>
    0.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  32. swhid_compute
    Documentation
    OCaml library to work with Software Heritage identifiers, compute library used in swhid
    swh software heritage archive shwid persistent identifier compute
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  33. swhid_types
    Documentation
    OCaml library to work with Software Heritage identifiers, types library used in swhid
    swh software heritage archive shwid persistent identifier types
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 1 other packages
    Added to opam-repository
  34. symex
    Documentation
    Primitives to write symbolic execution engines
    symbolic execution path condition monad solver
    redianthus <leo@ocaml.pro> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Arthur Carcano <arthur.carcano@ocamlpro.com> Basile Clément <basile.clement@ocamlpro.com
    0.3
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  35. symphony-orchestrator-tui
    Documentation
    Terminal UI toolkit for OCaml applications
    terminal tui ui widgets layout
    Matheus Barni
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  36. synchronizer
    Documentation
    Synchronizer
    ocaml multi-core mutex thread-safe parallel
    Arthur Carcano <arthur.carcano@ocamlpro.com> redianthus
    0.3
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  37. syslog-rfc5424
    Documentation
    Syslog Protocol (RFC5424) parser and pretty-printer
    log syslog rfc5424
    Vincent Bernardoff <vb@luminar.eu.org>
    0.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  38. tabr
    Documentation
    Functional utilities
    topics Functional utilities Branislav Lazic tabr
    Branislav Lazic
    0.1.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  39. tacit
    Documentation
    OCaml combinators
    combinator
    arutonee <arutonee@proton.me>
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  40. talon
    Documentation
    Dataframes for OCaml
    dataframe data-manipulation data-science tabular-data
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    Added to opam-repository
  41. tar
    Documentation
    Decode and encode tar format files in pure OCaml
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.5.0
    ISC
    Used by 7 other packages
    Added to opam-repository
  42. tar-eio
    Documentation
    Decode and encode tar format files using Eio
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.5.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  43. tar-mirage
    Documentation
    Read and write tar format files via MirageOS interfaces
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.5.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  44. tar-unix
    Documentation
    Decode and encode tar format files from Unix
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.5.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  45. tcpip
    Documentation
    OCaml TCP/IP networking stack, used in MirageOS
    org:mirage
    Anil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire et al.
    9.0.1
    ISC
    Used by 34 other packages
    Added to opam-repository
  46. telemetry
    Documentation
    A lightweight library for dispatching and handling events, with a focus on metrics and instrumentation
    topics telemetry events metrics instrumentation
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 3 other packages
    Added to opam-repository
  47. term-indexing
    Documentation
    Term indexing library
    symbolics rewriting
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  48. term-tools
    Documentation
    Various tools for manipulating first-order terms
    symbolics rewriting
    Ilias Garnier
    0.0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  49. termaid
    Documentation
    Render Mermaid diagrams as Unicode box-drawing art
    mermaid diagram terminal tui box-drawing flowchart unicode
    Alex Leighton <axlelonghorn@gmail.com>
    1.0.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  50. terml
    Documentation
    Terml is a pure-ocaml library for manipulating terminal output. Making possible to write text-based interfaces with ease
    tui terminal terminal-tui
    Willians Faria <dev.willians.faria@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
... 13 14 15 ... 17