GitHub Hot Board · Hồ sơ kho lưu trữ

viperproject/silver

Definition of the Viper intermediate verification language.

ScalaMPL-2.0Bảo trì định kỳ · Push 16 ngày trước#programming-language #verification #viper

Tài liệu kỹ thuậtMở trên GitHub

Star

100

Fork

Issue

129

Tăng sao hằng ngày

—

ngày tuổi

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%

Tổng số sao

Next Milestone: 500 (400 stars to go)

2026-11-04: 100

Dự án tương tự · chủ đề chung

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

Xưởng Huy Hiệu Cho Người Duy Trì

Gắn huy hiệu thời gian thực vào README GitHub

Nhúng huy hiệu SVG động vào README để hiển thị thứ hạng theo thời gian thực và liên kết đến tài liệu.

Xem trước240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

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