esbmc/esbmc

The efficient SMT-based context-bounded model checker (ESBMC)

GitHub repository with 487 stars and 133 forks.

Language: C++

Topics: automated-testing, automated-verification, bmc, c, cheri, cp-solver, cpp, incremental-learning, k-induction, kotlin

Open provider repository

Latest metric snapshot

2026-06-05: 487 stars and 133 forks.

Trending in C++

  1. 1. ggml-org/llama.cpp

    LLM inference in C/C++

    GitHub repository with 114,706 stars and 19,193 forks.

    Trending score: 4.40; stars gained: +304; forks gained: +99.

    Language: C++

    Topics: ggml

  2. 2. duckdb/duckdb

    DuckDB is an analytical in-process SQL database management system

    GitHub repository with 38,618 stars and 3,299 forks.

    Trending score: 3.50; stars gained: +40; forks gained: +6.

    Language: C++

    Topics: analytics, database, embedded-database, olap, sql

  3. 3. vllm-project/vllm-ascend

    Community maintained hardware plugin for vLLM on Ascend

    GitHub repository with 2,198 stars and 1,347 forks.

    Trending score: 3.25; stars gained: +16; forks gained: +22.

    Language: C++

    Topics: ascend, inference, llm, llm-serving, llmops, mlops

  4. 4. electron/electron

    :electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

    GitHub repository with 121,541 stars and 17,235 forks.

    Trending score: 3.02; stars gained: +16; forks gained: +2.

    Language: C++

    Topics: c-plus-plus, chrome, css, electron, html, javascript

  5. 5. ClickHouse/ClickHouse

    ClickHouse® is a real-time analytics database management system

    GitHub repository with 47,826 stars and 8,467 forks.

    Trending score: 2.96; stars gained: +53; forks gained: +10.

    Language: C++

    Topics: ai, analytics, big-data, clickhouse, cloud-native, cpp

  6. 6. LadybirdBrowser/ladybird

    Truly independent web browser

    GitHub repository with 63,755 stars and 3,075 forks.

    Trending score: 2.89; stars gained: +52; forks gained: +5.

    Language: C++

    Topics: browser, browser-engine

Trending topic: automated-testing

  1. 1. vitalets/playwright-bdd

    BDD testing with Playwright runner

    GitHub repository with 699 stars and 82 forks.

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

    Language: TypeScript

    Topics: automated-testing, bdd, cucumber, gherkin, playwright, testing

  2. 2. cerberustesting/cerberus-core

    The Open Source Test Automation Platform.

    GitHub repository with 362 stars and 106 forks.

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

    Language: Java

    Topics: api-testing, api-testing-framework, app-testing, appium, automate-test, automate-tests

  3. 3. dotnet/xharness

    C# command line tool for running tests on Android / iOS / tvOS devices and simulators

    GitHub repository with 187 stars and 63 forks.

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

    Language: C#

    Topics: dotnet, android, ios, mono, tests, tvos

  4. 4. karatelabs/karate

    Test Automation Made Simple

    GitHub repository with 8,873 stars and 2,031 forks.

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

    Language: Java

    Topics: api-testing, assertions, automated-testing, automation, bdd, contract-testing

  5. 5. omar2535/GraphQLer

    🔍A cutting edge context aware GraphQL API fuzzing tool!

    GitHub repository with 163 stars and 16 forks.

    Trending score: 0.05.

    Language: Python

    Topics: api-testing-framework, graphql, api, automated-testing, cybersecurity, pentesting

  6. 6. ota4j-team/open-test-reporting

    Language-agnostic XML and HTML test reporting formats and tooling. Maintained by the JUnit team.

    GitHub repository with 109 stars and 8 forks.

    Trending score: 0.05.

    Language: Java

    Topics: automated-testing, reporting