sosy-lab/software/cpachecker

The [Configurable Software-Verification Platform](https://cpachecker.sosy-lab.org)

GitLab repository with 24 stars and 24 forks.

Language: Java

Open provider repository

Latest metric snapshot

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

Similar repositories

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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. 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

  2. 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

  3. 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

  4. 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

  5. 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