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

Showing 1 - 22
  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
    Added to opam-repository
  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
    Added to opam-repository
  3. cohttp
    Documentation
    An OCaml library for HTTP clients and servers
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.2
    ISC
    Used by 78 other packages
    Added to opam-repository
  4. cohttp-async
    Documentation
    CoHTTP implementation for the Async concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.2
    ISC
    Used by 18 other packages
    Added to opam-repository
  5. cohttp-bench
    Documentation
    Benchmarks binaries for Cohttp
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  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.2.2
    ISC
    Used by 2 other packages
    Added to opam-repository
  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.2.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  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.2.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  9. cohttp-eio
    Documentation
    CoHTTP implementation with eio backend
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.2
    ISC
    Used by 15 other packages
    Added to opam-repository
  10. cohttp-lwt
    Documentation
    CoHTTP implementation using the Lwt concurrency library
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.2
    ISC
    Used by 46 other packages
    Added to opam-repository
  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.2.2
    ISC
    Used by 6 other packages
    Added to opam-repository
  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.2.2
    ISC
    Used by 117 other packages
    Added to opam-repository
  13. cohttp-lwt-unix-bin
    Documentation
    Command-line utilities shipped with cohttp-lwt-unix
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  14. cohttp-mirage
    Documentation
    CoHTTP implementation for the MirageOS unikernel
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  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.2.2
    ISC
    Used by 1 other packages
    Added to opam-repository
  16. cohttp-top
    Documentation
    CoHTTP toplevel pretty printers for HTTP types
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  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 5 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  20. http
    Documentation
    Type definitions of HTTP essentials
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.2
    ISC
    Used by 14 other packages
    Added to opam-repository
  21. matita

    No 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
    Added to opam-repository
  22. ocaml-http

    No documentation

    Library freely inspired from Perl's HTTP::Daemon module
    Stefano Zacchiroli
    0.1.6
    Used by 0 other packages
    Added to opam-repository