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.
- No changelog available
|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.*)|
|Copyright||2012 Jeremy Shaw|
|Source repository||head: darcs get http://hub.darcs.net/stepcut/hyperdrive (hyperdrive)|
|Upload date||Tue Jan 8 21:31:50 UTC 2013|
For package maintainers and hackage trustees