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‎