Koka GitHub repos

1 Koka repo in the catalog, most starred first.