Development and study resources hub docker githubRepositories developmentCommunities universityResources googleScholar overleaf dBeaver mariaDb jsonYamlTools