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.schonw...@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! > > https://github.com/cartazio/HaNS > > 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
