runtimeverification/wasm-semantics
A Formal Semantics of WebAssembly in K
¿Es runtimeverification/wasm-semantics apto para principiantes?
Hemos visto muy pocos pull requests recientes de colaboradores externos en runtimeverification/wasm-semantics para saber con qué frecuencia se fusionan. Ahora mismo no hay ningún issue apto para principiantes abierto; la lista de abajo muestra los demás issues que tenemos de este repositorio.
- Estrellas
- 106
- Forks
- 24
- Issues abiertos para principiantes
- 0
- Issues indexados
- 26
- Lenguaje dominante
- WebAssembly
- Licencia
- Sin datos de licencia
- Último push a GitHub
- 30/7/2026
- Última indexación
- 19/9/2026
- Guía de contribución
- Guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- good first issue
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Cómo contribuir a runtimeverification/wasm-semantics
- Lee primero la guía de contribución: explica cómo quieren los mantenedores que se propongan, prueben y revisen los cambios.
- Sigue el repositorio para enterarte cuando se abra un nuevo issue apto para principiantes, o revisa los demás issues de abajo.
Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha
-
enhancement
Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100
-
bug
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 55/100
-
Improve tokenisation supportAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
-
Upstream WebAssembly specific features from KasmerQuizá libre de nuevo @virgil-serbanuta la tomó hace 839 días y no hay ningún pull request abierto. Abierto
runtimeverification/wasm-semantics#646 · 1 asignado ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
enhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
runtimeverification/wasm-semantics#344 · 2 comentarios ·
-
Unsupported test filesAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
bug
Dificultad 4/5 3-5 días Aptitud para principiantes 38/100
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
runtimeverification/wasm-semantics#317 · 3 comentarios ·
-
enhancement good first issue
Dificultad 4/5 3-5 días Aptitud para principiantes 38/100
-
bug
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
`call` causes state splittingAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
runtimeverification/wasm-semantics#273 · 8 comentarios ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Project ProposalAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
Meeting NotesAbiertonotes
Dificultad 1/5 Menos de una hora Aptitud para principiantes 25/100
runtimeverification/wasm-semantics#231 · 12 comentarios ·
-
Interesting properties to proveAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
runtimeverification/wasm-semantics#184 · 2 comentarios ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 18/100
runtimeverification/wasm-semantics#150 · 9 comentarios ·
-
Program fail with a large list.AbiertoNot Urgent
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
-
Valstack BugAbiertobug
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
runtimeverification/wasm-semantics#140 · 5 comentarios ·
-
enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
runtimeverification/wasm-semantics#93 · 4 comentarios ·