625 search results for "tag:"C""

Showing 551 - 600
  1. tsdl
    Documentation
    Thin bindings to SDL for OCaml
    audio bindings graphics media opengl input hci org:erratique
    The tsdl programmers
    1.3.0
    ISC
    Used by 15 other packages
    28 Mar 2026
  2. tsdl-image
    Documentation
    SDL2_Image bindings to go with Tsdl
    tsdl SDL images graphics bindings
    Julian Squires <julian@cipht.net>
    0.6
    BSD-3-Clause
    Used by 7 other packages
    08 Aug 2023
  3. tsdl-ttf

    No documentation

    SDL2_Ttf bindings to go with Tsdl
    tsdl SDL graphics bindings ttf
    Julian Squires <julian@cipht.net>
    0.7
    BSD-3-Clause
    Used by 6 other packages
    11 Apr 2026
  4. ttweetnacl
    Documentation
    Thin bindings to TweetNaCl cryptography for OCaml
    cryptography bindings nacl org:erratique
    The ttweetnacl programmers
    0.1.0
    ISC
    Used by 0 other packages
    01 Mar 2022
  5. tuntap
    Documentation
    OCaml library for handling TUN/TAP devices
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org> Anil Madhavapeddy <anil@recoil.org>
    2.0.1
    ISC
    Used by 2 other packages
    16 Apr 2024
  6. twirp_cohttp_lwt_unix
    Documentation
    Twirp client using cohttp-lwt-unix
    twirp protobuf client rpc curl
    Simon Cruanes
    0.2
    MIT
    Used by 0 other packages
    18 Apr 2025
  7. twirp_core
    Documentation
    Twirp core library
    twirp protobuf client rpc curl
    Simon Cruanes
    0.2
    MIT
    Used by 3 other packages
    18 Apr 2025
  8. twirp_ezcurl
    Documentation
    Twirp client using Ezcurl
    twirp protobuf client rpc curl
    Simon Cruanes
    0.2
    MIT
    Used by 0 other packages
    18 Apr 2025
  9. twirp_tiny_httpd
    Documentation
    Host Twirp services using Tiny_httpd
    twirp protobuf services rpc
    Simon Cruanes
    0.2
    MIT
    Used by 0 other packages
    18 Apr 2025
  10. uchar
    Documentation
    Compatibility library for OCaml's Uchar module
    text character unicode compatibility org:ocaml.org
    Daniel Bünzli
    0.0.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    16 Jul 2017
  11. unix-dirent
    Documentation
    ocaml-unix-dirent provides access to the features exposed in dirent.h
    unix posix dirent syscall readdir
    David Sheets Jeremy Yallop
    0.3.5
    ISC
    Used by 0 other packages
    22 Jan 2017
  12. unix-errno
    Documentation
    Unix errno types, maps, and support
    errno errno.h errors unix syscall
    David Sheets <sheets@alum.mit.edu>
    0.6.2
    ISC
    Used by 15 other packages
    22 Mar 2023
  13. unix-sys-resource
    Documentation
    Unix sys/resource.h types and bindings (getrlimit, setrlimit, and friends)
    unix posix sys/resource.h getrlimit setrlimit rlimit
    David Sheets
    0.1.2
    ISC
    Used by 0 other packages
    04 Jun 2016
  14. unix-sys-stat
    Documentation
    ocaml-unix-sys-stat provides access to the features exposed in sys/stat.h
    unix posix sys/stat.h syscall stat
    David Sheets Jeremy Yallop
    0.5.2
    ISC
    Used by 0 other packages
    22 Jan 2017
  15. unix-time
    Documentation
    Unix time.h types, maps, and support
    unix posix time.h tm timespec
    David Sheets
    0.1.0
    ISC
    Used by 1 other packages
    18 May 2016
  16. uri
    Documentation
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 166 other packages
    27 Sep 2023
  17. uri-bench
    Documentation
    Benchmarking package for ocaml-uri
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 0 other packages
    27 Sep 2023
  18. uri-re
    Documentation
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 0 other packages
    27 Sep 2023
  19. uri-sexp
    Documentation
    An RFC3986 URI/URL parsing library
    url uri org:mirage org:xapi-project
    Anil Madhavapeddy David Sheets Rudi Grinberg
    4.4.0
    ISC
    Used by 8 other packages
    27 Sep 2023
  20. uritemplate
    Documentation
    OCaml implementation of URI templates (RFC6570)
    uri url templates RFC6570
    Corin Chaplin <git@corinchaplin.co.uk>
    0.2.0
    MIT
    Used by 0 other packages
    30 Jun 2019
  21. user-setup
    Documentation
    Helper for the configuration of editors for the use of OCaml tools
    org:ocamlpro
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.8
    ISC
    Used by 0 other packages
    05 Sep 2024
  22. uucd
    Documentation
    Unicode character database decoder for OCaml
    unicode database decoder org:erratique
    The uucd programmers
    17.0.0
    ISC
    Used by 3 other packages
    11 Sep 2025
  23. uucp
    Documentation
    Unicode character properties for OCaml
    unicode text character org:erratique
    The uucp programmers
    17.0.0
    ISC
    Used by 29 other packages
    11 Sep 2025
  24. uuidm
    Documentation
    Universally unique identifiers (UUIDs) for OCaml
    uuid codec org:erratique
    The uuidm programmers
    0.9.10
    ISC
    Used by 38 other packages
    12 Mar 2025
  25. uunf
    Documentation
    Unicode text normalization for OCaml
    unicode text normalization org:erratique
    The uunf programmers
    17.0.0
    ISC
    Used by 14 other packages
    11 Sep 2025
  26. uuseg
    Documentation
    Unicode text segmentation for OCaml
    unicode text segmentation org:erratique
    The uuseg programmers
    17.0.0
    ISC
    Used by 15 other packages
    11 Sep 2025
  27. uutf
    Documentation
    Non-blocking streaming Unicode codec for OCaml
    unicode text utf-8 utf-16 codec org:erratique
    The uutf programmers
    1.0.4
    ISC
    Used by 89 other packages
    12 Mar 2025
  28. uwt

    No documentation

    libuv bindings
    clib:libuv
    andreashauptmann@t-online.de
    0.3.3
    MIT
    Used by 1 other packages
    29 Aug 2018
  29. valkey

    No documentation

    Modern Valkey client for OCaml 5 + Eio (RESP3-only)
    valkey redis eio client resp3 cluster
    Avi Fenesh <aviarchi1994@gmail.com>
    0.4.0
    MIT
    Used by 0 other packages
    20 May 2026
  30. varint
    Documentation
    A simple varint implementation modeled after the one found in Go's standard library.
    mirage encoding
    Sam Riyad
    1.0
    MIT
    Used by 0 other packages
    23 Jul 2018
  31. vg
    Documentation
    Declarative 2D vector graphics for OCaml
    pdf svg canvas cairo browser declarative graphics org:erratique
    The vg programmers
    0.9.5
    ISC
    Used by 4 other packages
    24 Jan 2024
  32. vhd-format
    Documentation
    Pure OCaml library to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.13.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    19 Nov 2024
  33. vhd-format-lwt
    Documentation
    Lwt interface to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.13.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Nov 2024
  34. volgo
    Documentation
    A Versatile OCaml Library for Git Operations
    git vcs
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 10 other packages
    30 Jan 2026
  35. volgo-base
    Documentation
    An Extension of volgo.Vcs to use with Base
    git vcs base
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 2 other packages
    30 Jan 2026
  36. volgo-git-backend
    Documentation
    An IO-free library that parses the output of Git commands
    cli git vcs
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 3 other packages
    30 Jan 2026
  37. volgo-git-eio
    Documentation
    A Git backend for Vcs based on Volgo_git_backend for Eio programs
    eio git vcs non-blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 1 other packages
    30 Jan 2026
  38. volgo-git-unix
    Documentation
    A Git backend for Vcs based on Volgo_git_backend and the Unix library
    git vcs blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 4 other packages
    30 Jan 2026
  39. volgo-hg-backend
    Documentation
    An IO-free library that parses the output of Mercurial commands
    cli git mercurial vcs
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 3 other packages
    30 Jan 2026
  40. volgo-hg-eio
    Documentation
    A Mercurial backend for Vcs based on Volgo_hg_backend for Eio programs
    eio git mercurial vcs non-blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    30 Jan 2026
  41. volgo-hg-unix
    Documentation
    A Mercurial backend for Vcs based on Volgo_hg_backend and the Unix library
    git mercurial vcs blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 3 other packages
    30 Jan 2026
  42. volgo-vcs
    Documentation
    A command line tool for vcs operations based on the volgo libraries
    cli git vcs
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    30 Jan 2026
  43. wasm
    Documentation
    Library to read and write WebAssembly (Wasm) files and manipulate their AST
    wasm webassembly spec interpreter
    Andreas Rossberg <rossberg@mpi-sws.org
    2.0.2
    Apache-2.0
    Used by 0 other packages
    27 May 2025
  44. waylaunch
    Documentation
    Waylaunch is a program launcher for Wayland
    wayland program launcher sway
    Kate <kit-ty-kate@outlook.com>
    0.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    16 Jan 2024
  45. webbrowser
    Documentation
    Open and reload URIs in browsers from OCaml
    web http url browser cli org:erratique
    The webbrowser programmers
    0.6.2
    ISC
    Used by 2 other packages
    12 Mar 2025
  46. websocket

    No documentation

    Websocket library
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 7 other packages
    17 Sep 2024
  47. websocket-async
    Documentation
    Websocket library (Async)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 1 other packages
    17 Sep 2024
  48. websocket-lwt
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.12
    Used by 0 other packages
    04 Oct 2018
  49. websocket-lwt-unix
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 8 other packages
    17 Sep 2024
  50. why3
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.2
    LGPL-2.1-only
    Used by 8 other packages
    19 Sep 2025
... 11 12 13