hyperdrive: a fast, trustworthy HTTP(s) server built

[ bsd3, library, program, web ] [ Propose Tags ]

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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1
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]
License BSD-3-Clause
Copyright 2012 Jeremy Shaw
Author Jeremy Shaw
Maintainer jeremy@n-heptane.com
Category Web
Source repo head: darcs get http://hub.darcs.net/stepcut/hyperdrive (hyperdrive)
Uploaded by JeremyShaw at 2013-01-08T21:31:50Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables pong
Downloads 1009 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]