GitHub Hot Board · リポジトリアーカイブ

viperproject/silver

Definition of the Viper intermediate verification language.

ScalaMPL-2.0定期メンテ中 · 15日前にpush#programming-language #verification #viper

技術ドキュメントGitHub で開く

スター

100

フォーク

Issue

129

日次スター増加

—

経過日数

6-Axis Combat Radar

Combat Limits & Architectural Persona

Compare with other repos ->

Architectural Persona

High-Adoption Ecosystem Core

Substantial fork ratio reflecting heavy downstream adaptation

Combat Score

/ 100

7-Day Star Velocity

Fork/Star Adoption

53.0%

スター累計の推移

目標: あと 400 星で 500

2026-11-04: 100

類似プロジェクト · 共有トピック

twitter/the-algorithm74k apache/spark44.4k notprotonnot/notproton2.4k appthreat/atom100

オープンソース維持管理者の外鏈工房

GitHub README ライブバッジを埋め込む

動的 SVG バッジを README に埋め込み、リアルタイム順位と技術ドキュメントのミラーへの外部リンクを提供します。

リアルタイムプレビュー240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

<a href="https://git.zoyku.com/ja/repo/viperproject/silver" target="_blank" rel="noopener noreferrer">
  <picture>
    <source media="(prefers-color-scheme: dark)" srcset="https://git.zoyku.com/api/badge/card/viperproject/silver?theme=dark&lang=ja" />
    <img alt="GitHub Hot Rank - viperproject/silver" src="https://git.zoyku.com/api/badge/card/viperproject/silver?theme=light&lang=ja" height="64" />
  </picture>
</a>