argumentcomputer/Ipld.lean
Ver en GitHuba Lean4 implementation of the IPLD format
- Estrellas
- 8
- Forks
- 1
- Issues abiertos para principiantes
- 0
- Issues indexados
- 1
- Lenguaje dominante
- Lean
- Licencia
- MIT
- Último push a GitHub
- 13/12/2023
- Última indexación
- 14/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- good first issue
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Cargando issues
-
Documentation Abiertodocumentation good first issue
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100