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

Showing 1 - 23
  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 3 other packages
    08 Apr 2024
  3. 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~beta2
    ISC
    Used by 87 other packages
    10 Jan 2024
  4. 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~beta2
    ISC
    Used by 20 other packages
    10 Jan 2024
  5. 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~beta2
    ISC
    Used by 2 other packages
    10 Jan 2024
  6. 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~beta2
    ISC
    Used by 0 other packages
    10 Jan 2024
  7. 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~beta2
    ISC
    Used by 0 other packages
    10 Jan 2024
  8. cohttp-eio
    Documentation
    CoHTTP implementation with eio backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~beta2
    ISC
    Used by 2 other packages
    10 Jan 2024
  9. 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~beta2
    ISC
    Used by 45 other packages
    10 Jan 2024
  10. 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~beta2
    ISC
    Used by 4 other packages
    10 Jan 2024
  11. 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~beta2
    ISC
    Used by 98 other packages
    10 Jan 2024
  12. cohttp-lwt-unix-nossl

    No 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
  13. cohttp-lwt-unix-ssl

    No 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
  14. cohttp-mirage
    Documentation
    CoHTTP implementation for the MirageOS unikernel
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~beta2
    ISC
    Used by 2 other packages
    10 Jan 2024
  15. 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~beta2
    ISC
    Used by 0 other packages
    10 Jan 2024
  16. 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~beta2
    ISC
    Used by 0 other packages
    10 Jan 2024
  17. 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
  18. dose

    No 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
  19. 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
  20. 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
  21. http
    Documentation
    Type definitions of HTTP essentials
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.0.0~beta2
    ISC
    Used by 10 other packages
    10 Jan 2024
  22. 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
  23. 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