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

Showing 1 - 22
  1. camlbz2
    Documentation
    Bindings for bzip2
    Olivier Andrieu Stefano Zacchiroli
    0.7.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    18 Jan 2021
  2. cohttp
    Documentation
    An OCaml library for HTTP clients and servers
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~alpha2
    ISC
    Used by 84 other packages
    15 Aug 2023
  3. cohttp-async
    Documentation
    CoHTTP implementation for the Async concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~alpha2
    ISC
    Used by 20 other packages
    15 Aug 2023
  4. cohttp-curl
    Documentation
    Shared code between the individual cohttp-curl clients
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~alpha2
    ISC
    Used by 2 other packages
    15 Aug 2023
  5. 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.0.0~alpha2
    ISC
    Used by 0 other packages
    15 Aug 2023
  6. 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.0.0~alpha2
    ISC
    Used by 0 other packages
    15 Aug 2023
  7. cohttp-eio
    Documentation
    CoHTTP implementation with eio backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~alpha2
    ISC
    Used by 1 other packages
    15 Aug 2023
  8. cohttp-lwt
    Documentation
    CoHTTP implementation using the Lwt concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~alpha2
    ISC
    Used by 45 other packages
    15 Aug 2023
  9. 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.0.0~alpha2
    ISC
    Used by 4 other packages
    15 Aug 2023
  10. 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.0.0~alpha2
    ISC
    Used by 96 other packages
    15 Aug 2023
  11. cohttp-lwt-unix-nossl
    Documentation
    CoHTTP implementation for Unix and Windows using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    3.0.0
    ISC
    Used by 2 other packages
    06 Nov 2020
  12. cohttp-lwt-unix-ssl
    Documentation
    CoHTTP implementation for Unix and Windows using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    3.0.0
    ISC
    Used by 0 other packages
    06 Nov 2020
  13. cohttp-mirage
    Documentation
    CoHTTP implementation for the MirageOS unikernel
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~alpha2
    ISC
    Used by 2 other packages
    15 Aug 2023
  14. cohttp-server-lwt-unix
    Documentation
    Lightweight Cohttp + Lwt based HTTP server
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~alpha2
    ISC
    Used by 0 other packages
    15 Aug 2023
  15. cohttp-top
    Documentation
    CoHTTP toplevel pretty printers for HTTP types
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~alpha2
    ISC
    Used by 0 other packages
    15 Aug 2023
  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 7 other packages
    23 Jul 2022
  17. dose
    Documentation
    Dose library (part of Mancoosi tools)
    Pietro Abate Jaap Boender Roberto Di Cosmo Johannes Schauer Ralf Treinen et al.
    3.4.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Jan 2016
  18. 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
  19. 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
  20. http
    Documentation
    Type definitions of HTTP essentials
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~alpha2
    ISC
    Used by 10 other packages
    15 Aug 2023
  21. 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
  22. 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