runtimeverification/kompass
K semantics for Solana
Ist runtimeverification/kompass einsteigerfreundlich?
Wir haben zuletzt zu wenige Pull Requests von externen Beitragenden an runtimeverification/kompass 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
- 16
- Forks
- 0
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 1
- Vorherrschende Sprache
- Rust
- Lizenz
- Keine Lizenzdaten
- Letzter GitHub-Push
- 28.5.2026
- Zuletzt indexiert
- 21.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
So tragen Sie zu runtimeverification/kompass bei
- Es gibt keinen Contributing Guide. Beginnen Sie mit der README und einigen kürzlich gemergten Pull Requests, um zu sehen, wie Änderungen eingereicht werden.
- Folgen Sie dem Repository, um von neuen einsteigerfreundlichen Issues zu erfahren, oder sehen Sie sich die übrigen Issues unten an.
Issues werden geladen
Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen
-
Investigate Solana execution modelEvtl. wieder frei @gtrepta hat das vor 558 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/kompass#1 · 2 Kommentare · 1 zugewiesene Person ·