Futhark GitHub repos

2 Futhark repos in the catalog, most starred first.