Owner
amberhu-uw
已索引 1 个仓库 · 在 GitHub 查看
-
predep-old
Experimental imperitive language with contracts/dependent types: if it compiles, it's correct!
C++ · 0 个 star
-
enhancement good first issue help wanted
amberhu-uw/predep-old#1 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement help wanted
amberhu-uw/predep-old#2 · 2 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement good first issue help wanted
amberhu-uw/predep-old#4 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
good first issue help wanted
amberhu-uw/predep-old#6 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement good first issue help wanted
amberhu-uw/predep-old#7 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
Return types 未关闭enhancement help wanted
amberhu-uw/predep-old#8 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement PRIORITY
amberhu-uw/predep-old#9 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
good first issue refactor
amberhu-uw/predep-old#11 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
help wanted refactor
amberhu-uw/predep-old#12 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement help wanted
amberhu-uw/predep-old#13 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement help wanted
amberhu-uw/predep-old#14 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
amberhu-uw/predep-old#15 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·