amberhu-uw/predep-old
Voir sur GitHubExperimental imperitive language with contracts/dependent types: if it compiles, it's correct!
- Étoiles
- 0
- Forks
- 0
- Issues débutants ouvertes
- 0
- Issues indexées
- 12
- Langage dominant
- C++
- Licence
- Aucune donnée de licence
- Dernier push GitHub
- 7/8/2018
- Dernière indexation
- 13/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- help wanted good first issue
- Métriques de merge des PR
- Aucune PR mergée en 30 j
-
enhancement good first issue help wanted
amberhu-uw/predep-old#1 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Allow multi-character operators Ouverteenhancement help wanted
amberhu-uw/predep-old#2 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
enhancement good first issue help wanted
amberhu-uw/predep-old#4 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
good first issue help wanted
amberhu-uw/predep-old#6 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Better expect messages Ouverteenhancement good first issue help wanted
amberhu-uw/predep-old#7 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Return types Ouverteenhancement help wanted
amberhu-uw/predep-old#8 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Add basic code generation Ouverteenhancement PRIORITY
amberhu-uw/predep-old#9 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
good first issue refactor
amberhu-uw/predep-old#11 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
help wanted refactor
amberhu-uw/predep-old#12 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Create SymbolTable builder Ouverteenhancement help wanted
amberhu-uw/predep-old#13 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Create type checker Ouverteenhancement help wanted
amberhu-uw/predep-old#14 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
amberhu-uw/predep-old#15 · 0 commentaires · 0 réactions · 0 personnes assignées ·