sosy-lab/software/cpachecker

Latest metric snapshot

2026-06-05: 24 stars and 24 forks.

Similar repositories

1. 1. Paresh-Maheshwari/paresh-patches

   Morphe patches

   GitLab repository with 39 stars and 1 forks.

   Trending score: 0.65; stars gained: +1; forks gained: +0.

   Language: Java

2. 2. fdroid/fdroidclient

   Android client application

   GitLab repository with 2,615 stars and 1,031 forks.

   Trending score: 0.55; stars gained: +0; forks gained: -1.

   Language: Java

   Topics: android, app store, fdroid, repository

3. 3. fmd-foss/fmd-android

   Find your device and control it remotely. Works over SMS, instant messengers, or FMD Server's web interface. A secure open source alternative to Google's Find Hub.

   GitLab repository with 503 stars and 82 forks.

   Trending score: 0.38; stars gained: +0; forks gained: +0.

   Language: Java

4. 4. cable-mc/cobblemon

   An open-source Pokémon mod for Minecraft Java Edition, written in Kotlin for Fabric and Forge.

   GitLab repository with 210 stars and 348 forks.

   Trending score: 0.17; stars gained: +0; forks gained: +0.

   Language: Java

5. 5. tinyMediaManager/tinyMediaManager

   A multi-OS media management tool

   GitLab repository with 248 stars and 103 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +0.

   Language: Java

6. 6. ar-/apple-flinger

   GitLab repository with 55 stars and 31 forks.

   Trending score: 0.03; stars gained: +0; forks gained: +1.

   Language: Java

   Topics: android, games

Trending in Java

1. 1. Paresh-Maheshwari/paresh-patches

   Morphe patches

   GitLab repository with 39 stars and 1 forks.

   Trending score: 0.65; stars gained: +1; forks gained: +0.

   Language: Java

2. 2. fdroid/fdroidclient

   Android client application

   GitLab repository with 2,615 stars and 1,031 forks.

   Trending score: 0.55; stars gained: +0; forks gained: -1.

   Language: Java

   Topics: android, app store, fdroid, repository

3. 3. fmd-foss/fmd-android

   Find your device and control it remotely. Works over SMS, instant messengers, or FMD Server's web interface. A secure open source alternative to Google's Find Hub.

   GitLab repository with 503 stars and 82 forks.

   Trending score: 0.38; stars gained: +0; forks gained: +0.

   Language: Java

4. 4. cable-mc/cobblemon

   An open-source Pokémon mod for Minecraft Java Edition, written in Kotlin for Fabric and Forge.

   GitLab repository with 210 stars and 348 forks.

   Trending score: 0.17; stars gained: +0; forks gained: +0.

   Language: Java

5. 5. tinyMediaManager/tinyMediaManager

   A multi-OS media management tool

   GitLab repository with 248 stars and 103 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +0.

   Language: Java

6. 6. ar-/apple-flinger

   GitLab repository with 55 stars and 31 forks.

   Trending score: 0.03; stars gained: +0; forks gained: +1.

   Language: Java

   Topics: android, games