github の検索結果の上の方のリポジトリを適当に clone する。

gistfile1.sh

#!/bin/zsh

keyword=coq
language=Coq

for pageindex in {1..10} ; do
    wget -q "https://github.com/search?q=${keyword}&start_value=${pageindex}&type=Repositories&language=${language}" -Otmp.html
    echo 'cat //div[attribute::class="result"]/h2/a/attribute::href' | \
        xmllint --shell --html tmp.html | sed '/href/ { s/^.*"\/\(.*\)"/\1/g p } ; d'
done 2> /dev/null | while read l ; do ; git clone git://github.com/$l repos/$l ; done