No github for NetFPGA-10G ?

edit

I was trying to find more information, but the project page is unaccessible, Where can these platforms be bought? How much do they cost? Is it really open source?  Preceding unsigned comment added by W Nowicki (talkcontribs) 28 nov 2013 01:12‎