GitHub Hot Board · Archive du dépôt

viperproject/silver

Definition of the Viper intermediate verification language.

ScalaMPL-2.0Maintenance régulière · Mis à jour il y a 16j#programming-language #verification #viper

DocumentationOuvrir sur GitHub

stars

100

forks

issues

129

Gain quotidien

—

jours d’existence

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%

Étoiles cumulées

Next Milestone: 500 (400 stars to go)

2026-11-04: 100

Projets similaires · sujets partagés

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

Studio de Badges pour Mainteneurs

Intégrer le badge direct au README GitHub

Intégrez des badges SVG dynamiques dans votre README pour afficher vos classements en temps réel et votre miroir de documentation.

Aperçu240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

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