runtimeverification/wasm-semantics
A Formal Semantics of WebAssembly in K
runtimeverification/wasm-semantics é bom para iniciantes?
Vimos poucos pull requests recentes de contribuidores externos em runtimeverification/wasm-semantics para dizer com que frequência eles recebem merge. No momento não há nenhuma issue para iniciantes aberta; a lista abaixo mostra as outras issues que temos deste repositório.
- Estrelas
- 106
- Forks
- 24
- Issues abertas para iniciantes
- 0
- Issues indexadas
- 26
- Linguagem predominante
- WebAssembly
- Licença
- Sem dados de licença
- Último push no GitHub
- 30/7/2026
- Última indexação
- 19/9/2026
- Guia de contribuição
- Guia de contribuição
- Código de conduta
- Sem código de conduta
- Labels para iniciantes
- good first issue
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Como contribuir com runtimeverification/wasm-semantics
- Leia primeiro o guia de contribuição: ele explica como os mantenedores querem que as mudanças sejam propostas, testadas e revisadas.
- Siga o repositório para saber quando uma nova issue para iniciantes for aberta, ou veja as outras issues abaixo.
Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data
-
enhancement
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 55/100
-
bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 55/100
-
Improve tokenisation supportAberta
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
-
Upstream WebAssembly specific features from KasmerTalvez livre de novo @virgil-serbanuta assumiu há 840 dias e não há nenhum pull request aberto. Aberta
runtimeverification/wasm-semantics#646 · 1 responsável ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
-
enhancement
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/wasm-semantics#344 · 2 comentários ·
-
Unsupported test filesAberta
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/wasm-semantics#317 · 3 comentários ·
-
enhancement good first issue
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100
-
bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
runtimeverification/wasm-semantics#273 · 8 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
-
Project ProposalAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
-
Meeting NotesAbertanotes
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 25/100
runtimeverification/wasm-semantics#231 · 12 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/wasm-semantics#184 · 2 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 18/100
runtimeverification/wasm-semantics#150 · 9 comentários ·
-
Not Urgent
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
-
Valstack BugAbertabug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
runtimeverification/wasm-semantics#140 · 5 comentários ·
-
enhancement
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
runtimeverification/wasm-semantics#93 · 4 comentários ·