Side-by-Side Comparison
genmc vs google-ads-java
Compare open source repositories side by side. Stars, forks, code health, licensing, and community growth.
Recorded Stars Comparison
● MPI-SWS/genmc (211)
● googleads/google-ads-java (211)
☆ 211genmc stars
☆ 211google-ads-java stars
0Difference
google-ads-javaStar Leader
Side-by-Side Facts
| Metric | MPI-SWS/genmc ↗ | googleads/google-ads-java ↗ |
|---|---|---|
| Description | Generic model checker for concurrent C programs (mirror repository) | Google Ads API Client Library for Java |
| GitHub Stars | ☆ 211 | ☆ 211 |
| Forks | 32 | 188 |
| Open Issues | 21 | 9 |
| Main Language | C++ | Java |
| License | Apache-2.0 | Apache-2.0 |
| Last Push | Sep 24, 2026 | Sep 23, 2026 |
| GitHub Source | Open Source ↗ | Open Source ↗ |
Popular Comparisons
awesome-go vs ollama
avelino/awesome-go · ollama/ollama
ECC vs react
affaan-m/ECC · react/react
claw-code vs clash-verge-rev
ultraworkers/claw-code · clash-verge-rev/clash-verge-rev
freeCodeCamp vs deepseek-harness
freeCodeCamp/freeCodeCamp · deepseek-ai/deepseek-harness
public-apis vs free-programming-books
public-apis/public-apis · EbookFoundation/free-programming-books
From our network