21 search results for "author:"Stefano Zacchiroli""

Showing 1 - 21
  1. bz2
    Documentation
    CamlBZ2 OCaml bindings for the libbz2
    Stefano Zacchiroli Johannes Schauer Marin Rodrigues
    0.8.0
    LGPL-3.0-or-later with OCaml-LGPL-linking-exception
    Used by 1 other packages
    08 Apr 2024
  2. camlbz2
    Documentation
    Transitional package for bz2 (renaming)
    bz2
    Stefano Zacchiroli Johannes Schauer Marin Rodrigues
    transition
    LGPL-3.0-or-later with OCaml-LGPL-linking-exception
    Used by 2 other packages
    08 Apr 2024
  3. cohttp

    No documentation

    An OCaml library for HTTP clients and servers
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 69 other packages
    09 Jun 2025
  4. cohttp-async

    No documentation

    CoHTTP implementation for the Async concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 19 other packages
    09 Jun 2025
  5. cohttp-bench

    No documentation

    Benchmarks binaries for Cohttp
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 0 other packages
    09 Jun 2025
  6. cohttp-curl

    No documentation

    Shared code between the individual cohttp-curl clients
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 2 other packages
    09 Jun 2025
  7. cohttp-curl-async

    No documentation

    Cohttp client using Curl & Async as the backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 0 other packages
    09 Jun 2025
  8. cohttp-curl-lwt

    No documentation

    Cohttp client using Curl & Lwt as the backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 0 other packages
    09 Jun 2025
  9. cohttp-eio

    No documentation

    CoHTTP implementation with eio backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 4 other packages
    09 Jun 2025
  10. cohttp-lwt

    No documentation

    CoHTTP implementation using the Lwt concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 40 other packages
    09 Jun 2025
  11. cohttp-lwt-jsoo

    No documentation

    CoHTTP implementation for the Js_of_ocaml JavaScript compiler
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 5 other packages
    09 Jun 2025
  12. cohttp-lwt-unix

    No documentation

    CoHTTP implementation for Unix and Windows using Lwt
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 101 other packages
    09 Jun 2025
  13. cohttp-mirage

    No documentation

    CoHTTP implementation for the MirageOS unikernel
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 0 other packages
    09 Jun 2025
  14. cohttp-server-lwt-unix

    No documentation

    Lightweight Cohttp + Lwt based HTTP server
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 1 other packages
    09 Jun 2025
  15. cohttp-top

    No documentation

    CoHTTP toplevel pretty printers for HTTP types
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 0 other packages
    09 Jun 2025
  16. cudf
    Documentation
    CUDF library (part of the Mancoosi tools)
    Roberto di Cosmo <roberto@dicosmo.org> Stefano Zacchiroli Pietro Abate
    0.10
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    23 Jul 2022
  17. dose3
    Documentation
    Dose library (part of Mancoosi tools)
    Pietro Abate Ralf Treinen Jaap Boender Johannes Schauer Marin Rodrigues Roberto Di Cosmo et al.
    7.0.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    22 Jul 2021
  18. dose3-extra
    Documentation
    Dose-extra libraries and tools (part of Mancoosi tools)
    Pietro Abate Ralf Treinen Jaap Boender Johannes Schauer Marin Rodrigues Roberto Di Cosmo et al.
    7.0.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Jul 2021
  19. http

    No documentation

    Type definitions of HTTP essentials
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 12 other packages
    09 Jun 2025
  20. matita
    Documentation
    An experimental, interactive theorem prover
    interactive theorem proving calculus of constructions
    HELM Team Andrea Asperti Ferruccio Guidi Luca Padovani Claudio Sacerdoti Coen et al.
    0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    05 Oct 2023
  21. ocaml-http
    Documentation
    Library freely inspired from Perl's HTTP::Daemon module
    Stefano Zacchiroli
    0.1.6
    Used by 0 other packages
    18 Dec 2018