4507 search results for ""

Showing 651 - 700
  1. coccinelle

    No documentation

    Coccinelle is a C source code matching and transformation engine
    Julia Lawall et. al.
    1.3.1
    GPL-2.0-only
    Used by 0 other packages
    31 May 2026
  2. codept
    Documentation
    Alternative ocaml dependency analyzer
    Florian Angeletti <octa@polychoron.fr>
    0.12.2
    GPL-3.0-or-later
    Used by 0 other packages
    28 Oct 2025
  3. codept-lib
    Documentation
    Alternative ocaml dependency analyzer
    Florian Angeletti <octa@polychoron.fr>
    0.12.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    28 Oct 2025
  4. codex
    Documentation
    The Codex library for building static analysers based on abstract interpretation
    Matthieu Lemerre Julien Simonnet Olivier Nicole Paul Robert Dorian Lesbre et al.
    1.0~rc4
    LGPL-2.1-or-later
    Used by 2 other packages
    05 Feb 2026
  5. codicons
    Documentation
    Icons from VS code
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  6. cohttp
    Documentation
    An OCaml library for HTTP clients and servers
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 77 other packages
    20 Dec 2025
  7. cohttp-async
    Documentation
    CoHTTP implementation for the Async concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 18 other packages
    20 Dec 2025
  8. cohttp-bench
    Documentation
    Benchmarks binaries for Cohttp
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 0 other packages
    20 Dec 2025
  9. cohttp-curl
    Documentation
    Shared code between the individual cohttp-curl clients
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 2 other packages
    20 Dec 2025
  10. cohttp-curl-async
    Documentation
    Cohttp client using Curl & Async as the backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 0 other packages
    20 Dec 2025
  11. cohttp-curl-lwt
    Documentation
    Cohttp client using Curl & Lwt as the backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 0 other packages
    20 Dec 2025
  12. cohttp-eio
    Documentation
    CoHTTP implementation with eio backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 14 other packages
    20 Dec 2025
  13. cohttp-lwt
    Documentation
    CoHTTP implementation using the Lwt concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 44 other packages
    20 Dec 2025
  14. cohttp-lwt-jsoo
    Documentation
    CoHTTP implementation for the Js_of_ocaml JavaScript compiler
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 6 other packages
    20 Dec 2025
  15. cohttp-lwt-unix
    Documentation
    CoHTTP implementation for Unix and Windows using Lwt
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 116 other packages
    20 Dec 2025
  16. cohttp-mirage
    Documentation
    CoHTTP implementation for the MirageOS unikernel
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 0 other packages
    20 Dec 2025
  17. cohttp-server-lwt-unix
    Documentation
    Lightweight Cohttp + Lwt based HTTP server
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 1 other packages
    20 Dec 2025
  18. cohttp-top
    Documentation
    CoHTTP toplevel pretty printers for HTTP types
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 0 other packages
    20 Dec 2025
  19. cohttp_async_websocket

    No documentation

    Websocket library for use with cohttp and async
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  20. cohttp_static_handler
    Documentation
    A library for easily creating a cohttp handler for static files
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  21. coin
    Documentation
    Mapper of KOI8-{U,R} to Unicode
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.1.5
    MIT
    Used by 1 other packages
    28 Nov 2025
  22. colibri2

    No documentation

    A CP solver for smtlib
    François Bobot Bruno Marre Guillaume Bury Stéphane Graham-Lengrand
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    29 Mar 2023
  23. colibrics
    Documentation
    A CP solver proved in Why3
    François Bobot
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    29 Mar 2023
  24. colibrilib
    Documentation
    A library of domains and propagators proved in Why3
    François Bobot
    0.4
    LGPL-2.1-only
    Used by 1 other packages
    29 Mar 2023
  25. colombe

    No documentation

    SMTP protocol in OCaml
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.13.0
    MIT
    Used by 5 other packages
    22 Apr 2026
  26. color
    Documentation
    Convert between different color formats
    Anurag Soni <anuragsoni.13@gmail.com>
    0.3.0
    MIT
    Used by 4 other packages
    26 Nov 2024
  27. color-brewery
    Documentation
    Offer colors palettes and functions to brew colors
    Christophe Troestler
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    20 Feb 2021
  28. colors
    Documentation
    A pure OCaml library for manipulating colors across color spaces
    color color spaces color transformations color blending luv xyz rgb linear rgb srgb uv reference colors
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    21 Dec 2023
  29. combic
    Documentation
    A lightweight library for combinatory logic
    topics combinatory logic functional programming lambda calculus ocaml
    zandacw
    1.0.0
    MIT
    Used by 0 other packages
    10 Apr 2024
  30. combinaml
    Documentation
    Simple, customizable, dependency free parser combinator library
    topics parser combinator
    Travis Staloch
    0.1
    MIT
    Used by 0 other packages
    11 Jul 2023
  31. combinat
    Documentation
    Fast combinatorics for OCaml
    Jack Feser <feser@mit.edu>
    3.0
    MIT
    Used by 0 other packages
    20 Apr 2022
  32. combine
    Documentation
    Combine is a library for combinatorics problem solving.
    Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr> Rémy El Sibaie <remy.el-sibaie@lip6.fr>
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2016
  33. comby
    Documentation
    A tool for structural code search and replace that supports ~every language
    Rijnard van Tonder
    1.7.0
    Apache-2.0
    Used by 0 other packages
    17 Jun 2021
  34. comby-kernel
    Documentation
    A match engine for structural code search and replace that supports ~every language
    Rijnard van Tonder
    1.7.0
    Apache-2.0
    Used by 1 other packages
    17 Jun 2021
  35. comby-semantic
    Documentation
    A match engine for structural code search and replace that supports ~every language
    Rijnard van Tonder
    1.7.0
    Apache-2.0
    Used by 1 other packages
    17 Jun 2021
  36. command_rpc
    Documentation
    Utilities for Versioned RPC communication with a child process over stdin and stdout
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  37. commons
    Documentation
    Yet another set of common utilities
    Yoann Padioleau <pad@r2c.dev>
    1.8.0
    LGPL-2.1-only
    Used by 5 other packages
    01 Feb 2023
  38. compiler-cloning

    No documentation

    Relocatable OCaml
    David Allsopp
    enabled
    CC0-1.0+
    Used by 1 other packages
    26 Feb 2026
  39. compsort

    No documentation

    Reorder files in an archive to improve its compression
    compression
    Adrien Nader <adrien@notk.org>
    0.9.2
    GPL-3.0-or-later
    Used by 0 other packages
    11 Oct 2024
  40. conan
    Documentation
    Identify type of your file (such as the MIME type)
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.7
    BSD-2-Clause
    Used by 5 other packages
    05 Mar 2026
  41. conan-cli
    Documentation
    Identify type of your file (such as the MIME type)
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.7
    BSD-2-Clause
    Used by 0 other packages
    05 Mar 2026
  42. conan-database
    Documentation
    A database of decision trees to recognize MIME type
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.7
    BSD-2-Clause
    Used by 3 other packages
    05 Mar 2026
  43. conan-lwt
    Documentation
    Identify type of your file (such as the MIME type)
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.7
    MIT
    Used by 0 other packages
    05 Mar 2026
  44. conan-unix
    Documentation
    Identify type of your file (such as the MIME type)
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.7
    BSD-2-Clause
    Used by 2 other packages
    05 Mar 2026
  45. conduit
    Documentation
    A network connection establishment library
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
    8.0.0
    ISC
    Used by 7 other packages
    27 Feb 2025
  46. conduit-async
    Documentation
    A network connection establishment library for Async
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
    8.0.0
    ISC
    Used by 4 other packages
    27 Feb 2025
  47. conduit-lwt
    Documentation
    A portable network connection establishment library using Lwt
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
    8.0.0
    ISC
    Used by 9 other packages
    27 Feb 2025
  48. conduit-lwt-unix
    Documentation
    A network connection establishment library for Lwt_unix
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire Rudi Grinberg
    8.0.0
    ISC
    Used by 18 other packages
    27 Feb 2025
  49. conduit-mirage
    Documentation
    A network connection establishment library for MirageOS
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire
    8.0.0
    ISC
    Used by 6 other packages
    27 Feb 2025
  50. conex
    Documentation
    Establishing trust in community repositories
    Hannes Mehnert <hannes@mehnert.org>
    1.0.0
    BSD-2-Clause
    Used by 1 other packages
    27 Oct 2025
... 13 14 15 ... 91