argumentcomputer/Wasm.lean
Auf GitHub ansehenA WebAssembly implementation in Lean4
- Sterne
- 48
- Forks
- 6
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 11
- 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
- Keine Anfänger-Labels indexiert
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
-
argumentcomputer/Wasm.lean#15 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/Wasm.lean#25 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/Wasm.lean#26 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/Wasm.lean#27 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/Wasm.lean#37 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/Wasm.lean#47 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·