wooops, <div>seems theres a galois repo on github here <a href="https://github.com/GaloisInc/HaNS">https://github.com/GaloisInc/HaNS</a></div><div><br></div><div><br></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Wed, Dec 12, 2012 at 3:04 PM, Carter Schonwald <span dir="ltr"><<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hey All, <div><br></div><div>I noticed that the really cool HaNS work</div><div>(a mostly pure HS + bits of C networking stack)</div><div>seems to have languished for quite some time, and the absence of a publicly visible repo certainly doesnt help!</div>
<div><br></div><div>accordingly, i've taken the most recent code snapshot from the galois archive repo and created a copy on github! Â </div><div><br></div><div><a href="https://github.com/cartazio/HaNS" target="_blank">https://github.com/cartazio/HaNS</a><br>
</div><div><br></div><div>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!</div>
<div><br></div><div>cheers</div><span class="HOEnZb"><font color="#888888"><div>-Carter</div>
</font></span></blockquote></div><br></div>