vbpf/prevail

24h trend summary

Trending score 0.05, activity score 0.05, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-05: 464 stars and 52 forks.

Similar repositories

1. 1. vbpf/prevail

   eBPF verifier based on abstract interpretation

   GitHub repository with 464 stars and 52 forks.

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

   Language: C++

   Topics: abstract-interpretation, ebpf, ebpf-verifier, static-analyzer

Trending in C++

1. 1. ggml-org/llama.cpp

   LLM inference in C/C++

   GitHub repository with 114,749 stars and 19,198 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,623 stars and 3,300 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,201 stars and 1,350 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,546 stars and 17,236 forks.

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

   Language: C++

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

5. 5. ClickHouse/ClickHouse

   ClickHouse® is a real-time analytics database management system

   GitHub repository with 47,838 stars and 8,470 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,782 stars and 3,076 forks.

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

   Language: C++

   Topics: browser, browser-engine

Trending topic: abstract-interpretation

1. 1. facebook/pyre-check

   Performant type-checking for python.

   GitHub repository with 7,166 stars and 452 forks.

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

   Language: OCaml

   Topics: abstract-interpretation, code-quality, control-flow-analysis, ocaml, program-analysis, python

2. 2. vbpf/prevail

   eBPF verifier based on abstract interpretation

   GitHub repository with 464 stars and 52 forks.

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

   Language: C++

   Topics: abstract-interpretation, ebpf, ebpf-verifier, static-analyzer

3. 3. goblint/analyzer

   Static analysis framework for C

   GitHub repository with 248 stars and 88 forks.

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

   Language: OCaml

   Topics: ocaml, c, static-analysis, static-code-analysis, abstract-interpretation, program-analysis