The hyperdrive package
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.
|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]|
|Copyright||2012 Jeremy Shaw|
|Source repository||head: darcs get http://hub.darcs.net/stepcut/hyperdrive (hyperdrive)|
|Uploaded||Tue Jan 8 21:31:50 UTC 2013 by JeremyShaw|
|Downloads||291 total (4 in the last 30 days)|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
For package maintainers and hackage trustees