amberhu-uw/predep-old
Auf GitHub ansehenExperimental imperitive language with contracts/dependent types: if it compiles, it's correct!
- Sterne
- 0
- Forks
- 0
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 12
- Vorherrschende Sprache
- C++
- Lizenz
- Keine Lizenzdaten
- Letzter GitHub-Push
- 07.8.2018
- Zuletzt indexiert
- 13.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- help wanted good first issue
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
-
enhancement good first issue help wanted
amberhu-uw/predep-old#1 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement help wanted
amberhu-uw/predep-old#2 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement good first issue help wanted
amberhu-uw/predep-old#4 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
good first issue help wanted
amberhu-uw/predep-old#6 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Better expect messages Offenenhancement good first issue help wanted
amberhu-uw/predep-old#7 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Return types Offenenhancement help wanted
amberhu-uw/predep-old#8 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement PRIORITY
amberhu-uw/predep-old#9 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
good first issue refactor
amberhu-uw/predep-old#11 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
help wanted refactor
amberhu-uw/predep-old#12 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement help wanted
amberhu-uw/predep-old#13 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Create type checker Offenenhancement help wanted
amberhu-uw/predep-old#14 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
amberhu-uw/predep-old#15 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·