ZOYKU · 火线榜 · 仓库档案

viperproject/silver

Definition of the Viper intermediate verification language.

ScalaMPL-2.0稳定维护中 · 16天前提交#programming-language #verification #viper

技术文档在 GitHub 打开

星标

100

Fork

Issue

129

每日新增 Star

—

天站龄

6 维全景战力雷达

项目全维形态与战力诊断

带入多仓横向对决 ->

战力定位形态

高生态衍生重镇

Fork 二创率极高，受到全球极客与二次开发者高频依赖

综合战力

/ 100

近 7 天星标净增

生态衍生率

53.0%

累计 Star 走势

里程碑：距 500 还差 400 星

2026-11-04: 100

同类项目 · 共享语言与主题

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

开源维护者外链工坊

嵌入 GitHub 官方 README 徽章

嵌入矢量徽章为您的仓库提供实时火线榜成绩与技术文档直达外链，自动沉淀权威权重。

实时预览240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

<a href="https://git.zoyku.com/zh/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=zh" />
    <img alt="GitHub Hot Rank - viperproject/silver" src="https://git.zoyku.com/api/badge/card/viperproject/silver?theme=light&lang=zh" height="64" />
  </picture>
</a>