オーナー
amberhu-uw
索引済みのリポジトリ 1 件 · GitHub で見る
-
predep-old
Experimental imperitive language with contracts/dependent types: if it compiles, it's correct!
C++ · スター 0 個
-
enhancement good first issue help wanted
amberhu-uw/predep-old#1 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement help wanted
amberhu-uw/predep-old#2 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement good first issue help wanted
amberhu-uw/predep-old#4 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
good first issue help wanted
amberhu-uw/predep-old#6 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement good first issue help wanted
amberhu-uw/predep-old#7 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Return types オープンenhancement help wanted
amberhu-uw/predep-old#8 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement PRIORITY
amberhu-uw/predep-old#9 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
good first issue refactor
amberhu-uw/predep-old#11 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
help wanted refactor
amberhu-uw/predep-old#12 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement help wanted
amberhu-uw/predep-old#13 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Create type checker オープンenhancement help wanted
amberhu-uw/predep-old#14 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
amberhu-uw/predep-old#15 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·