argumentcomputer/yatima
A zero-knowledge Lean4 compiler and kernel
Ist argumentcomputer/yatima einsteigerfreundlich?
Wir haben zuletzt zu wenige Pull Requests von externen Beitragenden an argumentcomputer/yatima 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
- 147
- Forks
- 12
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 11
- Vorherrschende Sprache
- Lean
- Lizenz
- MIT
- Letzter GitHub-Push
- 20.4.2023
- Zuletzt indexiert
- 14.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 argumentcomputer/yatima bei
- Lesen Sie zuerst den Contributing Guide: Er beschreibt, wie die Maintainer Änderungen vorgeschlagen, getestet und geprüft haben möchten.
- Ihre Beiträge werden unter der MIT-Lizenz des Projekts veröffentlicht.
- 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
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
argumentcomputer/yatima#280 ·
-
enhancement infra
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
argumentcomputer/yatima#275 ·
-
enhancement typechecker
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
argumentcomputer/yatima#272 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
argumentcomputer/yatima#249 ·
-
Constant -> DeclarationOffengood first issue
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
argumentcomputer/yatima#245 ·
-
bug typechecker
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
argumentcomputer/yatima#243 ·
-
Negative typecheck testsOffentypechecker
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
argumentcomputer/yatima#181 ·
-
Document everythingEvtl. wieder frei @arthurpaulino hat das vor 1535 Tagen übernommen, und es ist kein Pull Request offen. Offendocumentation
argumentcomputer/yatima#158 · 1 zugewiesene Person ·
-
Proposal: Make the Yatima.Compiler.Graph a generic libraryEvtl. wieder frei @winston-h-zhang hat das vor 1574 Tagen übernommen, und es ist kein Pull Request offen. Offen
argumentcomputer/yatima#88 · 5 Kommentare · 2 zugewiesene Personen ·
-
Remove thunks from the typecheckerEvtl. vergeben @gabriel-barrett hat das vor 1311 Tagen übernommen. Offenenhancement typechecker
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
argumentcomputer/yatima#268 · 1 Reaktion ·
-
Compiler to the EVM through YulEvtl. vergeben @gabriel-barrett hat das vor 1386 Tagen übernommen. Offen
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100
argumentcomputer/yatima#238 · 2 Reaktionen ·