hans: Network Stack

[ bsd3, library, networking ] [ Propose Tags ]
Versions [RSS] 2.1.0.0, 2.4.0.0, 2.4.0.1, 2.5.0.0, 2.6.0.0, 3.0.0.1, 3.0.1, 3.0.2
Dependencies array, base (>=4.0.0.0 && <5), BoundedChan, bytestring, cereal (>=0.5.0.0), containers, HALVMCore (>=2.0.0 && <3), hans, hashable, heaps (<=0.3.3), monadLib, psqueues, random, SHA, time, unix, XenDevice (>=2.0.0 && <3) [details]
License BSD-3-Clause
Author Galois Inc.
Maintainer halvm-devel@community.galois.com
Category Networking
Source repo head: git clone git://github.com/GaloisInc/HaNS.git
Uploaded by TrevorElliott at 2017-05-15T19:59:55Z
Distributions NixOS:3.0.2
Executables echo-server
Downloads 6105 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-05-15 [all 1 reports]