The hyperdrive package

[Tags:bsd3, library, program]

hyperdrive aims to provide an HTTP server which is not only extremely fast, but also provides a high-level of proof that its implementation is correct.

hyperdrive is still in alpha and not at all suitable for use. The current implementation is relatively fast, but does not yet use any of the techniques for proof-of-correctness. It also does not implement many essential features yet.


Versions 0.1
Dependencies base (>4.2 && <5), bytestring (==0.10.*), bytestring-lexing (==0.4.*), extensible-exceptions (==0.1.*), mtl (==2.1.*), network (==2.4.*), pipes (==3.0.*), pretty (==1.1.*) [details]
License BSD3
Copyright 2012 Jeremy Shaw
Author Jeremy Shaw
Category Web
Source repository head: darcs get (hyperdrive)
Uploaded Tue Jan 8 21:31:50 UTC 2013 by JeremyShaw
Distributions NixOS:0.1
Downloads 308 total (8 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees