GitHub Hot Board · 저장소 아카이브

viperproject/silver

Definition of the Viper intermediate verification language.

ScalaMPL-2.0정기적 관리 · 15일 전 push#programming-language #verification #viper

기술 문서GitHub에서 열기

스타

100

포크

이슈

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%

누적 스타 추이

Next Milestone: 500 (400 stars to go)

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