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

runtimeverification/kup

Entre para seguir Ver no GitHub

K and Semantics Distribution Tool

runtimeverification/kup é bom para iniciantes?

Vimos poucos pull requests recentes de contribuidores externos em runtimeverification/kup 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
10
Forks
2
Issues abertas para iniciantes
0
Issues indexadas
18
Linguagem predominante
Python
Licença
BSD-3-Clause
Último push no GitHub
18/6/2026
Última indexação
21/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/kup

  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. Siga o repositório para saber quando uma nova issue para iniciantes for aberta, ou veja as outras issues abaixo.
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.