argumentcomputer/Ipld.lean
Auf GitHub ansehena Lean4 implementation of the IPLD format
- Sterne
- 8
- Forks
- 1
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 1
- Vorherrschende Sprache
- Lean
- Lizenz
- MIT
- Letzter GitHub-Push
- 13.12.2023
- Zuletzt indexiert
- 14.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- good first issue
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
-
Documentation Offendocumentation good first issue
argumentcomputer/Ipld.lean#5 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·