- Stars
- 312 Stars (312 Stars)
- Forks
- 88 Forks (88 Forks)
- Indexierte Issues
- 1 indexiertes Issue (1 indexiertes Issue)
- offene Einsteiger-Issues
- 0 offene Einsteiger-Issues (0 offene Einsteiger-Issues)
- Zuletzt indexiert
- 21. Juli 2026
- Letzter GitHub Push
- 21. Juli 2026
- Code of Conduct
- Kein Code of Conduct
- Hauptsprache
- Lean
- PR-Merge-Metriken
- PR-Metriken ausstehend (PR-Metriken ausstehend)
- Einsteiger-Labels
- Keine Einsteiger-Labels indexiert
Verified-zkEVM/ArkLib #4 18. Dez. 2024 geöffnet · Lean · 312 Stars
Warum empfohlenEinsteigerfreundliches Label vorhanden · Beitragsleitfaden verfügbar
Einsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar
3 Kommentare0 Reaktionen2 zugewiesene Personen