GitHub 火線榜

GitHub 火線榜 · 倉庫檔案

viperproject/silver

Definition of the Viper intermediate verification language. (簡介來自倉庫自身文件。)

資料截至 October 27viperproject

最好成績

#9

被忽視榜 · 活躍卻無人問津

100

累計 Star

53

Fork 總數

6

近 30 天在榜天數

專案狀態授權條款: MPL-2.0最近 push: October 22Open Issues(含 PR): 129

自 2026-10-25 起採集;未知 = 尚未採集到

把上榜徽章放進你的 README · viperproject/silver[![把上榜徽章放進你的 README](https://git.vaiox.xyz/api/badge/viperproject/silver.svg)](https://git.vaiox.xyz/zh-TW/repo/viperproject/silver)

Badge · 任何仓库都可以挂 —— 未上榜的仓库显示灰章,上完榜会自动点亮。

<a href="https://git.vaiox.xyz/zh-TW/repo/viperproject/silver"><img src="https://git.vaiox.xyz/api/badge/viperproject/silver.svg" alt="把上榜徽章放進你的 README" height="20"></a>

專案文件

Silver

Silver is the intermediate verification language of the Viper project by Programming Methodology Group at the Department of Computer Science, ETH Zurich.

Quick Start

Instructions for how to get started with Viper can be found here.

Syntax Highlighting

Files for LaTeX and various editors can be found under silver/util/highlighting directory.

當前上榜

  • 9

    被忽視榜 · 活躍卻無人問津

    100 星 · 53 fork · 累計星星（升冪）

    被忽視 →

近 30 天勢頭

累計 Star 走勢

名次走勢

每日新增 Star

同榜競速 · 名次近鄰 · 被忽視

同類專案 · 共享主題

← 回到榜單