runtimeverification/wasm-semantics
A Formal Semantics of WebAssembly in K
Ist runtimeverification/wasm-semantics einsteigerfreundlich?
Wir haben zuletzt zu wenige Pull Requests von externen Beitragenden an runtimeverification/wasm-semantics 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
- 106
- Forks
- 24
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 26
- Vorherrschende Sprache
- WebAssembly
- Lizenz
- Keine Lizenzdaten
- Letzter GitHub-Push
- 30.7.2026
- Zuletzt indexiert
- 19.9.2026
- Beitragsleitfaden
- Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- good first issue
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
So tragen Sie zu runtimeverification/wasm-semantics bei
- Lesen Sie zuerst den Contributing Guide: Er beschreibt, wie die Maintainer Änderungen vorgeschlagen, getestet und geprüft haben möchten.
- Folgen Sie dem Repository, um von neuen einsteigerfreundlichen Issues zu erfahren, oder sehen Sie sich die übrigen Issues unten an.
Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen
-
enhancement
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 55/100
-
bug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
Upstream WebAssembly specific features from KasmerEvtl. wieder frei @virgil-serbanuta hat das vor 840 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/wasm-semantics#646 · 1 zugewiesene Person ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
enhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/wasm-semantics#344 · 2 Kommentare ·
-
Unsupported test filesOffen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
bug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/wasm-semantics#317 · 3 Kommentare ·
-
enhancement good first issue
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
-
bug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
runtimeverification/wasm-semantics#273 · 8 Kommentare ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Project ProposalOffen
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Meeting NotesOffennotes
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 25/100
runtimeverification/wasm-semantics#231 · 12 Kommentare ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/wasm-semantics#184 · 2 Kommentare ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 18/100
runtimeverification/wasm-semantics#150 · 9 Kommentare ·
-
Not Urgent
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
-
Valstack BugOffenbug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/wasm-semantics#140 · 5 Kommentare ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/wasm-semantics#93 · 4 Kommentare ·