Skip to content

Contributable by Gati Varshney

Explore
GSoC
First issues
Check a repo
Start here

Everything on Contributable

Find a project

ExploreSearch every measured repository
Google Summer of CodeOrganisations ranked by who answers
Help me chooseYour stack in, a shortlist out
CompareTwo to four repositories side by side

Check and keep

Check a repoAny public GitHub repository
SavedYour shortlist, kept current
Example reportA real one: OpenPrinting/cups

Get started

Start hereYour first pull request in five steps
First issuesIssues nobody has taken yet
How to pickOne rule and a checklist

About the project

AboutWho built it and why
MethodologyHow every figure is calculated
StatusHow fresh the data is
Source codeOpen source on GitHub
ContributeHelp build Contributable

Explore GSoC Issues Check New here

Built by

Google Summer of Code 2026 · The Linux Foundation

Contributable

Pick the project that answers newcomers, not the most famous one.

Find

Repositories
GSoC organisations
Help me choose
Compare

Check

Check a repo
Example report
Saved

Start

Start here
First issues
How to pick

Project

About
Methodology
Status
Source code
Contribute

© 2026 Gati Varshney. Open source under the GNU AGPL-3.0. Data under CC BY 4.0. An independent project, not affiliated with GitHub or Google.

Home
Explore repositories
Google Summer of Code organisations
First issues nobody has taken
Help me choose a project
Check any repository
Saved repositories
Compare repositories
New to open source? Start here
Guide: how to pick an organisation
Methodology
Status
About

Enter to open. Esc to close.

GSoC organisations / Software and Computational Systems Lab at LMU Munich

S

Software and Computational Systems Lab at LMU Munich

Algorithms and Tooling for Software Verification

Google Summer of Code 2024, 2025 · Project ideas · Website · Follow free first issues

Programming languagesDevelopment toolspythonjavascriptjavagrpcquarkuscloudsoftware verificationbenchmarkingprogram analysissat & smt solving

Not measured

Development happens outside GitHub (gitlab.com).