- Stars
- 312 stars (312 stars)
- Forks
- 88 forks (88 forks)
- Issues indexadas
- 1 indexado issue (1 indexado issue)
- issues iniciantes abertas
- 0 issues iniciantes abertas (0 issues iniciantes abertas)
- Última indexação
- 21 de jul. de 2026
- Último push no GitHub
- 21 de jul. de 2026
- Código de conduta
- Nenhum código de conduta
- Linguagem principal
- Lean
- Métricas de merge de PR
- Métricas PR pendentes (Métricas PR pendentes)
- Labels para iniciantes
- Nenhuma label para iniciantes indexada
Verified-zkEVM/ArkLib #4 aberta 18 de dez. de 2024 · Lean · 312 stars
Por que recomendamosTem label amigável para iniciantes · Guia de contribuição disponível
Tem label amigável para iniciantesGuia de contribuição disponível
3 comentários0 reações2 responsáveis