headers
Carter Schonwald | 12 Dec 2012 21:04
Picon
Gravatar

reviving HaNS (haskell network stack)

Hey All, 


I noticed that the really cool HaNS work
(a mostly pure HS + bits of C networking stack)
seems to have languished for quite some time, and the absence of a publicly visible repo certainly doesnt help!

accordingly, i've taken the most recent code snapshot from the galois archive repo and created a copy on github!  


I'll be having a go at trying to get things to build on ghc 7.6 + seeing about doing travisCI integration over the next few days, but if anyone else might be interested in helping out, that'd be welcome!

cheers
-Carter
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Permalink | Reply |
headers
Carter Schonwald | 12 Dec 2012 21:30
Picon
Gravatar

Re: reviving HaNS (haskell network stack)

wooops, 

seems theres a galois repo on github here https://github.com/GaloisInc/HaNS




On Wed, Dec 12, 2012 at 3:04 PM, Carter Schonwald <carter.schonwald <at> gmail.com> wrote:
Hey All, 

I noticed that the really cool HaNS work
(a mostly pure HS + bits of C networking stack)
seems to have languished for quite some time, and the absence of a publicly visible repo certainly doesnt help!

accordingly, i've taken the most recent code snapshot from the galois archive repo and created a copy on github!  


I'll be having a go at trying to get things to build on ghc 7.6 + seeing about doing travisCI integration over the next few days, but if anyone else might be interested in helping out, that'd be welcome!

cheers
-Carter
 

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Permalink | Reply |

Gmane