amberhu-uw/predep-old
Vedi su GitHubExperimental imperitive language with contracts/dependent types: if it compiles, it's correct!
- Stelle
- 0
- Fork
- 0
- Issue aperte per principianti
- 0
- Issue indicizzate
- 12
- Lingua principale
- C++
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 7/8/2018
- Ultima indicizzazione
- 13/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- help wanted good first issue
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
-
enhancement good first issue help wanted
amberhu-uw/predep-old#1 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement help wanted
amberhu-uw/predep-old#2 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement good first issue help wanted
amberhu-uw/predep-old#4 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
good first issue help wanted
amberhu-uw/predep-old#6 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Better expect messages Apertaenhancement good first issue help wanted
amberhu-uw/predep-old#7 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Return types Apertaenhancement help wanted
amberhu-uw/predep-old#8 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Add basic code generation Apertaenhancement PRIORITY
amberhu-uw/predep-old#9 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
good first issue refactor
amberhu-uw/predep-old#11 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
help wanted refactor
amberhu-uw/predep-old#12 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Create SymbolTable builder Apertaenhancement help wanted
amberhu-uw/predep-old#13 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Create type checker Apertaenhancement help wanted
amberhu-uw/predep-old#14 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
amberhu-uw/predep-old#15 · 0 commenti · 0 reazioni · 0 assegnatari ·