hyperdrive: a fast, trustworthy HTTP(s) server built
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 && <0.11), bytestring-lexing (>=0.4 && <0.5), extensible-exceptions (>=0.1 && <0.2), mtl (>=2.1 && <2.2), network (>=2.4 && <2.5), pipes (>=3.0 && <3.1), pretty (>=1.1 && <1.2) [details]|
|Copyright||2012 Jeremy Shaw|
|Source repo||head: darcs get http://hub.darcs.net/stepcut/hyperdrive (hyperdrive)|
|Uploaded||by JeremyShaw at 2013-01-08T21:31:50Z|
|Downloads||943 total (7 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]