[Haskell-cafe] ANNOUNCE: HaNS-

Trevor Elliott trevor at galois.com
Tue May 24 20:39:13 CEST 2011

Galois, Inc. is pleased to announce the release of HaNS, the Haskell
Network Stack.  HaNS is a lightweight, pure Haskell network stack that
can be used for Haskell networking in the context of the HaLVM, or with
a Linux tap device. Currently, HaNS supports 802.3, IPv4, ARP, DHCP
(partially), ICMP, UDP, and TCP.

    On Hackage: http://hackage.haskell.org/package/HaNS
    Git repo:   http://code.galois.com/cgi-bin/gitweb

The TCP component is a port of Peng Li and Stephan Zdancewic's Haskell
TCP library, which in turn was translated from Norrish et al's HOL4 TCP

What might you use HaNS for? Developing new and interesting networking
protocols, at any layer of the network stack, or your own variants of
existing protocols. HaNS allows HaLVM nodes to support networking,
meaning you can run experimental network services directly on top of the
HaLVM (without any pesky OS getting in the way). There are probably lots
of other cool applications of HaNS we haven't though of yet.

HaNS is released under a BSD license, and should be considered
experimental at this stage.

If you have any questions please contact the HaLVM team at

    halvm-devel at community.galois.com.

-- Trevor Elliott (for the HaLVM team)

P.S. If you're building with the HaLVM, make sure to add -fhalvm to your
cabal install invocation.

= References =

HaLVM:          http://halvm.org
Haskell TCP:    http://hackage.haskell.org/package/tcp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3612 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110524/be49db28/attachment.bin>

More information about the Haskell-Cafe mailing list