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
    Documentation
    An OCaml library for HTTP clients and servers
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.0
    ISC
    Used by 75 other packages
    04 Mar 2025
  4. cohttp-async
    Documentation
    CoHTTP implementation for the Async concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.0
    ISC
    Used by 19 other packages
    04 Mar 2025
  5. cohttp-bench
    Documentation
    Benchmarks binaries for Cohttp
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.0
    ISC
    Used by 0 other packages
    04 Mar 2025
  6. cohttp-curl
    Documentation
    Shared code between the individual cohttp-curl clients
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.0
    ISC
    Used by 2 other packages
    04 Mar 2025
  7. 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.1.0
    ISC
    Used by 0 other packages
    04 Mar 2025
  8. 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.1.0
    ISC
    Used by 0 other packages
    04 Mar 2025
  9. cohttp-eio
    Documentation
    CoHTTP implementation with eio backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.0
    ISC
    Used by 4 other packages
    04 Mar 2025
  10. cohttp-lwt
    Documentation
    CoHTTP implementation using the Lwt concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.0
    ISC
    Used by 44 other packages
    04 Mar 2025
  11. 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.1.0
    ISC
    Used by 5 other packages
    04 Mar 2025
  12. 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.1.0
    ISC
    Used by 100 other packages
    04 Mar 2025
  13. cohttp-mirage
    Documentation
    CoHTTP implementation for the MirageOS unikernel
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.0
    ISC
    Used by 2 other packages
    04 Mar 2025
  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.1.0
    ISC
    Used by 1 other packages
    04 Mar 2025
  15. cohttp-top
    Documentation
    CoHTTP toplevel pretty printers for HTTP types
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.0
    ISC
    Used by 0 other packages
    04 Mar 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
    Documentation
    Type definitions of HTTP essentials
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.0
    ISC
    Used by 12 other packages
    04 Mar 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