argumentcomputer/Ipld.lean
Vedi su GitHuba Lean4 implementation of the IPLD format
- Stelle
- 8
- Fork
- 1
- Issue aperte per principianti
- 0
- Issue indicizzate
- 1
- Lingua principale
- Lean
- Licenza
- MIT
- Ultimo push su GitHub
- 13/12/2023
- Ultima indicizzazione
- 14/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- good first issue
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Caricamento delle issue
-
Documentation Apertadocumentation good first issue
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100