repositories.sh

declare -A repositories
declare -A https

repositories[everparse]=git@github.com:project-everest/everparse.git
https[everparse]=https://github.com/project-everest/everparse.git

repositories[FStar]=git@github.com:FStarLang/FStar.git
https[FStar]=https://github.com/FStarLang/FStar.git

repositories[karamel]=git@github.com:FStarLang/karamel.git
https[karamel]=https://github.com/FStarLang/karamel.git

repositories[steel]=git@github.com:FStarLang/steel.git
https[steel]=https://github.com/FStarLang/steel.git

repositories[hacl-star]=git@github.com:hacl-star/hacl-star.git
https[hacl-star]=https://github.com/hacl-star/hacl-star.git

repositories[merkle-tree]=git@github.com:hacl-star/merkle-tree.git
https[merkle-tree]=https://github.com/hacl-star/merkle-tree.git

repositories[mitls-fstar]=git@github.com:project-everest/mitls-fstar.git
https[mitls-fstar]=https://github.com/project-everest/mitls-fstar.git

repositories[MLCrypto]=git@github.com:project-everest/MLCrypto.git
https[MLCrypto]=https://github.com/project-everest/MLCrypto.git

repositories[pulse]=git@github.com:FStarLang/pulse
https[pulse]=https://github.com/FStarLang/pulse

repositories[everquic-crypto]=git@github.com:project-everest/everquic-crypto.git
https[everquic-crypto]=https://github.com/project-everest/everquic-crypto.git