argumentcomputer/Wasm.lean
Voir sur GitHubA WebAssembly implementation in Lean4
- Étoiles
- 48
- Forks
- 6
- Issues débutants ouvertes
- 0
- Issues indexées
- 11
- Langage dominant
- Lean
- Licence
- MIT
- Dernier push GitHub
- 13/12/2023
- Dernière indexation
- 14/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- Aucun label débutant indexé
- Métriques de merge des PR
- Aucune PR mergée en 30 j
-
argumentcomputer/Wasm.lean#15 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Wasm.lean#25 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Wasm.lean#26 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Wasm.lean#27 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Safety: Bit sizes and overflows Ouverte
argumentcomputer/Wasm.lean#37 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
argumentcomputer/Wasm.lean#47 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 commentaires · 0 réactions · 0 personnes assignées ·