ZOYKUHot Board
GitHub Hot Board · Archive du dépôt

prove2me/prove2me_workspace

prove2me/prove2me_workspace

LeanActif & fréquent · Mis à jour il y a 3j
DocumentationOuvrir sur GitHub
stars
100
forks
40
issues
9
Gain quotidien
—
jours d’existence
2d
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
43
/ 100
7-Day Star Velocity
0
Fork/Star Adoption
40.0%

Étoiles cumulées

Next Milestone: 500 (400 stars to go)
2026-11-08: 100
Gain quotidien
Max: +1 / day

Projets similaires · sujets partagés

openai/math17.4kleanprover/lean49.9kopenai/navierstokesandeuler2.1kanthropics/fermats-last-theorem1.3k
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 ThemeGitHub Hot Rank - prove2me/prove2me_workspace Dark Preview
GitHub Light ThemeGitHub Hot Rank - prove2me/prove2me_workspace Light Preview
GitHub README <picture> (Auto Dark/Light)
<a href="https://git.zoyku.com/fr/repo/prove2me/prove2me_workspace" target="_blank" rel="noopener noreferrer">
  <picture>
    <source media="(prefers-color-scheme: dark)" srcset="https://git.zoyku.com/api/badge/card/prove2me/prove2me_workspace?theme=dark&lang=fr" />
    <img alt="GitHub Hot Rank - prove2me/prove2me_workspace" src="https://git.zoyku.com/api/badge/card/prove2me/prove2me_workspace?theme=light&lang=fr" height="64" />
  </picture>
</a>