sosy-lab/benchmarking/fm-tools

Collection of information about formal-methods tools

GitLab repository with 6 stars and 76 forks.

Language: Java

Open provider repository

Latest metric snapshot

2026-06-15: 6 stars and 76 forks.

Similar repositories

  1. 1. sunilpaulmathew/ashell

    A local ADB shell for Shizuku powered android devices! (Mirror: https://github.com/sunilpaulmathew/aShell)

    GitLab repository with 100 stars and 16 forks.

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

    Language: Java

    Topics: Android Application, adb, java, shizuku

  2. 2. sunilpaulmathew/izzyondroid

    An unofficial client for IzzyOnDroid F-Droid Repository!

    GitLab repository with 112 stars and 35 forks.

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

    Language: Java

  3. 3. tinyMediaManager/tinyMediaManager

    A multi-OS media management tool

    GitLab repository with 251 stars and 104 forks.

    Trending score: 0.41; 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 211 stars and 350 forks.

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

    Language: Java

  6. 6. ondrejfoltyn/nunti

    Finally a smart RSS reader which doesn't suck ass or your data.

    GitLab repository with 95 stars and 20 forks.

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

    Language: Java

    Topics: android, machine learning, machine-learning, news, privacy, rss

Trending in Java

  1. 1. sunilpaulmathew/ashell

    A local ADB shell for Shizuku powered android devices! (Mirror: https://github.com/sunilpaulmathew/aShell)

    GitLab repository with 100 stars and 16 forks.

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

    Language: Java

    Topics: Android Application, adb, java, shizuku

  2. 2. sunilpaulmathew/izzyondroid

    An unofficial client for IzzyOnDroid F-Droid Repository!

    GitLab repository with 112 stars and 35 forks.

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

    Language: Java

  3. 3. tinyMediaManager/tinyMediaManager

    A multi-OS media management tool

    GitLab repository with 251 stars and 104 forks.

    Trending score: 0.41; 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 211 stars and 350 forks.

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

    Language: Java

  6. 6. ondrejfoltyn/nunti

    Finally a smart RSS reader which doesn't suck ass or your data.

    GitLab repository with 95 stars and 20 forks.

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

    Language: Java

    Topics: android, machine learning, machine-learning, news, privacy, rss