sosy-lab/benchmarking/sv-benchmarks

Collection of Verification Tasks

GitLab repository with 25 stars and 69 forks.

Language: C++

Topics: C, SV-COMP, benchmark, competition, java, software verification, verification, verification task, witness

Open provider repository

Latest metric snapshot

2026-06-13: 25 stars and 69 forks.

Trending in C++

  1. 1. CalcProgrammer1/OpenRGB

    Open source RGB lighting control that doesn't depend on manufacturer software. For Windows, Linux, MacOS. Supports a wide variety of RGB components, peripherals, accessories, and lights across many manufacturers. See the README or https://openrgb.org for more information.

    GitLab repository with 3,417 stars and 1,685 forks.

    Trending score: 1.23; stars gained: +2; forks gained: +2.

    Language: C++

    Topics: ASUS, Corsair, Gigabyte, MSI, hacktoberfest, lighting

  2. 2. inkscape/inkscape

    Inkscape vector image editor

    GitLab repository with 3,953 stars and 1,911 forks.

    Trending score: 1.23; stars gained: +3; forks gained: +0.

    Language: C++

    Topics: C++, GTK4, gtkmm, hacktoberfest, svg, vectorgraphics

  3. 3. graphviz/graphviz

    Graph Visualization Tools

    GitLab repository with 1,463 stars and 381 forks.

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

    Language: C++

  4. 4. openlb/release

    Public OpenLB repository containing all releases

    GitLab repository with 19 stars and 44 forks.

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

    Language: C++

  5. 5. openjowelsofts/huenicorn

    A Linux Ambilight driver for Philips Hue™ devices.

    GitLab repository with 42 stars and 9 forks.

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

    Language: C++

    Topics: ambilight, hue sync, philipshue

  6. 6. sane-project/backends

    Scanner Access Now Easy ― Backends

    GitLab repository with 80 stars and 207 forks.

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

    Language: C++

Trending topic: C

  1. 1. git-scm/git

    Git Source Code Mirror - This is a publish-only repository.

    GitLab repository with 24 stars and 16 forks.

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

    Language: Python

    Topics: C, git, shell, vcs

  2. 2. duplicity/duplicity

    Duplicity backs directories by producing encrypted tar-format volumes and uploading them to a remote or local file server.

    GitLab repository with 286 stars and 106 forks.

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

    Topics: C, backup, cli-utilities, python

  3. 3. GrafX2/grafX2

    The ultimate 256 color painting program

    GitLab repository with 129 stars and 36 forks.

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

    Topics: C, GrafX2, pixel art, pixelart, sdl

  4. 4. Monsterovich/lanemu

    Server-less (decentralized) Virtual Private Network (Open-source alternative to Hamachi, Radmin, ZeroTier, etc.)

    GitLab repository with 64 stars and 8 forks.

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

    Topics: C, FreeBSD, LAN, java, linux, macos

  5. 5. _Pegor/kepler_fw

    Casio F91 smart watch reboot.

    GitLab repository with 242 stars and 15 forks.

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

    Topics: Bluetooth Low Energy, C, embedded, smartwatch

  6. 6. aminosbh/basic-sqlite-project

    Basic C SQLite project that uses CMake as a build system. Demonstrates the usage of the SQLite C library.

    GitLab repository with 52 stars and 2 forks.

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

    Topics: C, cmake, sqlite