582 search results for "tag:"C""

Showing 551 - 582
  1. volgo-vcs
    Documentation
    A command line tool for vcs operations based on the volgo libraries
    cli git vcs
    Mathieu Barbin
    0.0.21
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    03 Sep 2025
  2. 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
  3. 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
  4. 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
  5. websocket
    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
  6. 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
  7. websocket-lwt
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.12
    Used by 1 other packages
    04 Oct 2018
  8. 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
  9. 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 7 other packages
    19 Sep 2025
  10. why3-coq
    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 0 other packages
    19 Sep 2025
  11. why3-ide
    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 0 other packages
    19 Sep 2025
  12. ws
    Documentation
    Generic websocket implementation for OCaml
    monad io interface interface-prime websocket ws
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    18 Jan 2019
  13. wu-manber-fuzzy-search
    Documentation
    Wu-Manber approximate string matching
    wu-manber baeza-yates-gonnet bitap algorithm levenshtein demarau-levenshtein edit distance approximate fuzzy string search matching
    Ifaz Kabir
    0.1.0
    CC0-1.0
    Used by 0 other packages
    19 Jan 2022
  14. xapi-backtrace
    Documentation
    A simple library for recording and managing backtraces
    org:xapi-project
    xen-api@lists.xen.org
    0.7
    Used by 2 other packages
    23 Dec 2020
  15. xapi-inventory
    Documentation
    Library for accessing the xapi toolstack inventory file
    org:xapi-project
    xen-api@lists.xen.org
    1.2.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    17 Jun 2022
  16. xapi-rrd
    Documentation
    RRD library for use with xapi
    org:xapi-project
    Dave Scott Jon Ludlam John Else
    1.12.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    12 Dec 2023
  17. xcursor
    Documentation
    A pure implementation of Xcursor in OCaml
    desktop gui cursor xcursor
    Yilin Wei
    0.1.0
    MIT
    Used by 0 other packages
    24 Dec 2022
  18. xen-evtchn
    Documentation
    Xen event channel interface for MirageOS
    org:mirage org:xapi-project
    Vincent Hanquez Anil Madhavapeddy David Scott Jonathan Ludlam
    2.1.0
    Used by 2 other packages
    13 Feb 2019
  19. xen-evtchn-unix
    Documentation
    Xen event channel interface for Linux
    org:mirage org:xapi-project
    Vincent Hanquez Anil Madhavapeddy David Scott Jonathan Ludlam
    2.1.0
    Used by 1 other packages
    13 Feb 2019
  20. xenstore-tool
    Documentation
    Command line tool for interfacing with xenstore
    org:mirage org:xapi-project
    Christian Lindig David Scott Euan Harris John Else Jon Ludlam et al.
    1.5.0
    LGPL-2.1-only
    Used by 0 other packages
    04 Aug 2025
  21. xenstore_transport
    Documentation
    Low-level libraries for connecting to a xenstore service on a xen host
    org:mirage org:xapi-project
    Christian Lindig David Scott Euan Harris John Else Jon Ludlam et al.
    1.5.0
    LGPL-2.1-only
    Used by 4 other packages
    04 Aug 2025
  22. xlsx2csv
    Documentation
    Simple library to export .xlsx files as CSVs
    convert xlsx csv
    Leonardo Santos
    0.1.2
    GPL-3.0-only
    Used by 0 other packages
    11 Oct 2024
  23. xmlm
    Documentation
    Streaming XML codec for OCaml
    xml codec org:erratique
    The xmlm programmers
    1.4.0
    ISC
    Used by 37 other packages
    09 Feb 2022
  24. yaml
    Documentation
    Parse and generate YAML 1.1/1.2 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.2.0
    ISC
    Used by 23 other packages
    06 Nov 2023
  25. yaml-sexp
    Documentation
    Parse and generate YAML 1.1 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.2.0
    ISC
    Used by 2 other packages
    06 Nov 2023
  26. yocaml_cmark
    Documentation
    YOCaml Common Mark processor
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  27. zar
    Documentation
    Formally verified sampling from discrete probability distributions
    zar random sampler verified coq discrete
    Alexander Bagnall
    0.9.3
    MIT
    Used by 0 other packages
    17 Feb 2024
  28. zarr
    Documentation
    An Ocaml implementation of the Zarr V3 specification
    zarr chunked arrays zarr version 3
    Zolisa Bleki
    0.1.0
    BSD-3-Clause
    Used by 3 other packages
    07 Sep 2024
  29. zipc
    Documentation
    ZIP archive and deflate codec for OCaml
    codec zip deflate zlib org:erratique
    The zipc programmers
    0.2.0
    ISC
    Used by 0 other packages
    24 Jan 2024
  30. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
  31. zstd
    Documentation
    Bindings to zstd compression library
    org:ygrek clib:zstd
    ygrek
    0.4
    BSD-3-Clause
    Used by 1 other packages
    08 Apr 2024
  32. zxcvbn
    Documentation
    Bindings for the zxcvbn password strength estimation library
    org:cryptosense
    Nathan Rebours <nathan.p.rebours@gmail.com>
    2.4+1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2020
... 10 11 12