argumentcomputer/Wasm.lean
Ver en GitHubA WebAssembly implementation in Lean4
- Estrellas
- 48
- Forks
- 6
- Issues abiertos para principiantes
- 0
- Issues indexados
- 11
- Lenguaje dominante
- Lean
- Licencia
- MIT
- Último push a GitHub
- 13/12/2023
- Última indexación
- 14/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
- Métricas de merge de PR
- Sin PR fusionados en 30 d
-
argumentcomputer/Wasm.lean#15 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Wasm.lean#25 · 2 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Wasm.lean#26 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Wasm.lean#27 · 0 comentarios · 0 reacciones · 0 asignados ·
-
Safety: Bit sizes and overflows Abierto
argumentcomputer/Wasm.lean#37 · 0 comentarios · 0 reacciones · 0 asignados ·
-
argumentcomputer/Wasm.lean#47 · 1 comentario · 0 reacciones · 0 asignados ·
-
lowpriority
argumentcomputer/Wasm.lean#54 · 0 comentarios · 0 reacciones · 0 asignados ·
-
lowpriority
argumentcomputer/Wasm.lean#59 · 0 comentarios · 0 reacciones · 0 asignados ·
-
lowpriority
argumentcomputer/Wasm.lean#61 · 0 comentarios · 0 reacciones · 0 asignados ·
-
highpriority
argumentcomputer/Wasm.lean#66 · 0 comentarios · 0 reacciones · 0 asignados ·
-
epic
argumentcomputer/Wasm.lean#67 · 0 comentarios · 0 reacciones · 0 asignados ·