Hacktoberfest 2026: die Issues, die Maintainer für den Oktober markiert haben – offen und einsteigerfreundlich. Hacktoberfest-Issues durchsuchen

runtimeverification/kup

Zum Folgen anmelden Auf GitHub ansehen

K and Semantics Distribution Tool

Ist runtimeverification/kup einsteigerfreundlich?

Wir haben zuletzt zu wenige Pull Requests von externen Beitragenden an runtimeverification/kup gesehen, um zu sagen, wie oft sie gemergt werden. Gerade ist kein einsteigerfreundliches Issue offen; die Liste unten zeigt die übrigen Issues, die wir von diesem Repository kennen.

Sterne
10
Forks
2
Offene Anfänger-Issues
0
Indexierte Issues
18
Vorherrschende Sprache
Python
Lizenz
BSD-3-Clause
Letzter GitHub-Push
18.6.2026
Zuletzt indexiert
21.9.2026
Kein Beitragsleitfaden
Kein Verhaltenskodex
Anfänger-Labels
Keine Anfänger-Labels indexiert
Keine gemergten PRs in 30 T.

So tragen Sie zu runtimeverification/kup bei

  1. Es gibt keinen Contributing Guide. Beginnen Sie mit der README und einigen kürzlich gemergten Pull Requests, um zu sehen, wie Änderungen eingereicht werden.
  2. Ihre Beiträge werden unter der BSD-3-Clause-Lizenz des Projekts veröffentlicht.
  3. Folgen Sie dem Repository, um von neuen einsteigerfreundlichen Issues zu erfahren, oder sehen Sie sich die übrigen Issues unten an.
Einsteigerfreundlich Alles
Offen Alle

Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.