Hacktoberfest 2026: as issues que os mantenedores marcaram para outubro, abertas e boas para iniciantes. Ver issues do Hacktoberfest

runtimeverification/mir-semantics

Entre para seguir Ver no GitHub

runtimeverification/mir-semantics é bom para iniciantes?

Vimos poucos pull requests recentes de contribuidores externos em runtimeverification/mir-semantics para dizer com que frequência eles recebem merge. Agora há 1 issue para iniciantes aberta.

Estrelas
52
Forks
5
Issues abertas para iniciantes
1
Issues indexadas
73
Linguagem predominante
Python
Licença
BSD-3-Clause
Último push no GitHub
25/6/2026
Última indexação
19/9/2026
Sem guia de contribuição
Sem código de conduta
Labels para iniciantes
Nenhum label para iniciantes indexado
Nenhum PR com merge em 30d

Como contribuir com runtimeverification/mir-semantics

  1. Não há guia de contribuição, então comece pelo README e por alguns pull requests com merge recente para ver como as mudanças são propostas.
  2. Suas contribuições serão publicadas sob a licença BSD-3-Clause do projeto.
  3. Escolha a issue aberta para iniciantes abaixo e comente que quer trabalhar nela antes de começar.
Para iniciantes Tudo
Abertas Todas

Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.