sosy-lab/cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

GitHub repository with 256 stars and 94 forks.

Language: Java

Topics: verification, c, java, software-verification, static-analysis

Open provider repository

24h trend summary

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

Latest metric snapshot

2026-06-05: 256 stars and 94 forks.

Similar repositories

  1. 1. sosy-lab/cpachecker

    CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

    GitHub repository with 256 stars and 94 forks.

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

    Language: Java

    Topics: verification, c, java, software-verification, static-analysis

  2. 2. stfalcon-studio/SmsVerifyCatcher

    Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon

    GitHub repository with 852 stars and 183 forks.

    Trending score: 0.00.

    Language: Java

    Topics: android, sms, verification, catcher, confirmation

Trending in Java

  1. 1. github/copilot-sdk

    Multi-platform SDK for integrating GitHub Copilot Agent into apps and services

    GitHub repository with 9,087 stars and 1,216 forks.

    Trending score: 3.47; stars gained: +166; forks gained: +12.

    Language: Java

  2. 2. floci-io/floci

    Light, fluffy, and always free - The AWS Local Emulator alternative

    GitHub repository with 13,644 stars and 1,293 forks.

    Trending score: 3.33; stars gained: +78; forks gained: +7.

    Language: Java

    Topics: aws, aws-emulation, localstack, devops, docker, ec2

  3. 3. fish2018/webhtv

    WebHomeTV 基于FongMi二次开发，增强了 WebHome 自定义首页、App Native SDK、网盘链接检测 和 Nostr推荐首页。 这个项目的核心目标是让 CSP 站点首页可以变成一个真正可开发的网页应用：开发者可以用 HTML/CSS/JavaScript 定制首页，再通过 App 暴露的 Native 能力完成搜索、播放、跨域请求、资源代理、最近观看、网盘检测和状态同步。

    GitHub repository with 375 stars and 108 forks.

    Trending score: 3.29; stars gained: +83; forks gained: +16.

    Language: Java

  4. 4. juanjuandog/FinSight-AI

    AI equity research agent with resilient workflows, Redis Lua single-flight, pgvector RAG, versioned reports, evidence tracing, and RAG evaluation.

    GitHub repository with 1,003 stars and 58 forks.

    Trending score: 3.24; stars gained: +77; forks gained: +1.

    Language: Java

    Topics: ai-agent, financial-research, llm-evaluation, pgvector, postgresql, rabbitmq

  5. 5. Lucas0623z/NoteLite

    GitHub repository with 747 stars and 106 forks.

    Trending score: 2.98; stars gained: +53; forks gained: +7.

    Language: Java

  6. 6. apache/doris

    Apache Doris is an easy-to-use, high performance and unified analytics database.

    GitHub repository with 15,437 stars and 3,812 forks.

    Trending score: 2.65; stars gained: +11; forks gained: +7.

    Language: Java

    Topics: agent, ai, bigquery, database, dbt, delta-lake

Trending topic: verification

  1. 1. trufflesecurity/trufflehog

    Find, verify, and analyze leaked credentials

    GitHub repository with 26,633 stars and 2,443 forks.

    Trending score: 2.37; stars gained: +18; forks gained: +10.

    Language: Go

    Topics: credentials, devsecops, dynamic-analysis, precommit, scanning, secret

  2. 2. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,040 stars and 254 forks.

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

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

  3. 3. 410979729/proofrail-hermes

    Runtime harness plugin for Hermes with evidence-first execution, verification-first workflows, and self-correcting AI agent behavior.

    GitHub repository with 10 stars and 3 forks.

    Trending score: 0.50; stars gained: +2; forks gained: +0.

    Language: Python

    Topics: agent-harness, ai-agent, autonomous-coding, claude-code-harness, codex-harness, developer-tools

  4. 4. replikativ/katzen

    Generalized algebraic theories and categorical programming for Clojure.

    GitHub repository with 8 stars and 0 forks.

    Trending score: 0.50; stars gained: +2; forks gained: +0.

    Language: Clojure

    Topics: algebraic-data-types, category-theory, clojure, verification

  5. 5. basilisk-labs/agentplane

    🛩️ Git-native workflow control for coding agents: approved plans, verification, and reviewable evidence for Claude Code, Codex, Cursor, and Aider.

    GitHub repository with 57 stars and 8 forks.

    Trending score: 0.33; stars gained: +1; forks gained: +2.

    Language: TypeScript

    Topics: agent-change-record, agentic-coding, agentplane, ai-agents, ai-code-review, aider

  6. 6. ucsd-progsys/liquidhaskell

    Liquid Types For Haskell

    GitHub repository with 1,311 stars and 158 forks.

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

    Language: Haskell

    Topics: haskell, refinement-types, smt, verification