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.
Downloads
- hyperdrive-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- 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 |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | pong |
| Downloads | 1001 total (4 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] |