888 search results for "tag:"R""

Showing 751 - 800
  1. 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
  2. symkat
    Documentation
    Symbolic Algorithms for Kleene algebra with Tests (KAT)
    algorithms
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.4
    LGPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  3. 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
  4. 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
  5. 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
  6. 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
  7. tacit
    Documentation
    OCaml combinators
    combinator
    arutonee <arutonee@proton.me>
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. talon
    Documentation
    Dataframes for OCaml
    dataframe data-manipulation data-science tabular-data
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 2 other packages
    Added to opam-repository
  9. 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 8 other packages
    Added to opam-repository
  10. 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
  11. 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
  12. 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
  13. 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
  14. tdigest
    Documentation
    OCaml implementation of the T-Digest algorithm
    data-structures algorithms
    Simon Grondin Will Welch
    2.2.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  15. tdk
    Documentation
    The Decision Kit is a collection of data structures that are useful
    data-structures
    Spiros Eliopoulos <seliopou@gmail.com>
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  16. 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
  17. term-indexing
    Documentation
    Term indexing library
    symbolics rewriting
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  18. 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
  19. 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
  20. 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
  21. testcontainers
    Documentation
    Docker containers for OCaml integration tests
    docker testing integration-testing containers testcontainers
    Sachin Beniwal <sachinbeniwal0101@gmail.com>
    0.1.0
    Apache-2.0
    Used by 10 other packages
    Added to opam-repository
  22. testo-diff
    Documentation
    Pure-OCaml diff implementation
    algorithms
    Martin Jambon Gabriel Jaldon
    0.5.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  23. tezt-bam
    Documentation
    A plugin of [bam] for Tezt
    test tezt pbt shrinking internal bam
    François Thiré
    0.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  24. tgls
    Documentation
    Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml
    bindings opengl opengl-es graphics org:erratique
    The tgls programmers
    0.9.1
    ISC
    Used by 1 other packages
    Added to opam-repository
  25. thread-local-storage
    Documentation
    Efficient thread local storage for OCaml
    topics threads tls
    Vesa Karvonen
    0.2
    MIT
    Used by 6 other packages
    Added to opam-repository
  26. tiny_httpd
    Documentation
    Minimal HTTP server using threads
    http thread server tiny_httpd http_of_dir simplehttpserver
    c-cube
    0.22
    MIT
    Used by 11 other packages
    Added to opam-repository
  27. tinyfiledialogs
    Documentation
    OCaml bindings to tinyfiledialogs
    GUI Dialogs File Dialog Color Picker Cross-Platform TinyFileDialogs Open File Dialog Save File Dialog Select Folder Message Box Input Box
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  28. tip-parser
    Documentation
    Parser for https://tip-org.github.io/format.html
    TIP parse inductive logic
    Simon Cruanes
    0.6
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  29. tjr_simple_earley
    Documentation
    An implementation of an Earley-like algorithm, designed for simplicity.
    algorithms
    Tom Ridge <tom.j.ridge@googlemail.com>
    2017-11-14e
    Used by 0 other packages
    Added to opam-repository
  30. tls
    Documentation
    Transport Layer Security purely in OCaml
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.1.3
    BSD-2-Clause
    Used by 38 other packages
    Added to opam-repository
  31. tls-async
    Documentation
    Transport Layer Security purely in OCaml, Async layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org> Eric Ebinger <github@eric.theebingers.com> Calascibetta Romain <romain.calascibetta@gmail.com>
    2.1.3
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  32. tls-eio
    Documentation
    Transport Layer Security purely in OCaml - Eio
    org:mirage
    Thomas Leonard
    2.1.3
    BSD-2-Clause
    Used by 16 other packages
    Added to opam-repository
  33. tls-lwt
    Documentation
    Transport Layer Security purely in OCaml, Lwt layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.1.3
    BSD-2-Clause
    Used by 14 other packages
    Added to opam-repository
  34. tls-miou-unix
    Documentation
    Transport Layer Security purely in OCaml, Miou+Unix layer
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    2.1.3
    BSD-2-Clause
    Used by 3 other packages
    Added to opam-repository
  35. tls-mirage
    Documentation
    Transport Layer Security purely in OCaml, MirageOS layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.1.3
    BSD-2-Clause
    Used by 12 other packages
    Added to opam-repository
  36. toffee
    Documentation
    CSS layout engine for OCaml (Flexbox, Grid, Block)
    css layout flexbox grid css-grid taffy layout-engine
    Thibaut Mattio
    0.1.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  37. topkg
    Documentation
    The transitory OCaml software packager
    packaging ocamlbuild org:erratique
    The topkg programmers
    1.1.1
    ISC
    Used by 108 other packages
    Added to opam-repository
  38. topkg-care
    Documentation
    The transitory OCaml software packager
    packaging ocamlbuild org:erratique
    The topkg programmers
    1.1.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  39. topological_sort
    Documentation
    Topological sort algorithm
    algorithms
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  40. trace
    Documentation
    A lightweight stub for tracing/observability, agnostic in how data is collected
    trace tracing observability profiling
    Simon Cruanes
    0.12
    MIT
    Used by 16 other packages
    Added to opam-repository
  41. trace-fuchsia
    Documentation
    A high-performance backend for trace, emitting a Fuchsia trace into a file
    trace tracing fuchsia
    Simon Cruanes
    0.12
    MIT
    Used by 1 other packages
    Added to opam-repository
  42. trace-runtime-events
    Documentation
    A simple collector relying on runtime-events for OCaml 5. Some assembly required
    trace tracing trace runtime-events
    Simon Cruanes
    0.12
    MIT
    Used by 0 other packages
    Added to opam-repository
  43. trace-tef
    Documentation
    A simple backend for trace, emitting Catapult/TEF JSON into a file
    trace tracing catapult TEF chrome-format chrome-trace json
    Simon Cruanes
    0.12
    MIT
    Used by 9 other packages
    Added to opam-repository
  44. trail

    No documentation

    A minimalistic, composable web framework for building HTTP/WebSocket servers
    composable web framework http websockets ws riot multicore
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  45. trampoline
    Documentation
    A trampoline library enabling deep recursions that don't fit into stack memory
    topics trampoline
    Armin Heller <support@arminheller.de>
    0.1.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  46. transept
    Documentation
    Generalized parser combinator library
    library parser-combinator
    Didier Plaindoux <d.plaindoux@free.fr>
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  47. tree-sitter
    Documentation
    OCaml bindings for Tree-sitter
    tree-sitter parsing syntax-highlighting incremental
    Thibaut Mattio
    0.1.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  48. tree_layout
    Documentation
    Algorithms to layout trees in a pretty manner
    tree graph drawing algorithms
    Gabriel Radanne
    0.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  49. trexio

    No documentation

    Binding for the TREXIO Input/Output library
    Quantum chemistry Library
    Anthony Scemama <scemama@irsamc.ups-tlse.fr> Evgeny Posenitskiy <posenitskiy@irsamc.ups-tlse.fr>
    2.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  50. trs
    Documentation
    Parsing library for the TRS format, the format for first-order rewrite systems
    trs rewrite systems
    Soichi Yajima
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
... 15 16 17 18