argumentcomputer/Wasm.lean
Vedi su GitHubA WebAssembly implementation in Lean4
- Stelle
- 48
- Fork
- 6
- Issue aperte per principianti
- 0
- Issue indicizzate
- 11
- 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
- Nessuna label per principianti indicizzata
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
-
argumentcomputer/Wasm.lean#15 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#25 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#26 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#27 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#37 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Wasm.lean#47 · 1 commento · 0 reazioni · 0 assegnatari ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 commenti · 0 reazioni · 0 assegnatari ·