amberhu-uw/predep-old
GitHub で見るExperimental imperitive language with contracts/dependent types: if it compiles, it's correct!
- スター
- 0
- フォーク
- 0
- オープンの初心者向け issue
- 0
- 索引済み issue
- 12
- 主要言語
- C++
- ライセンス
- ライセンスのデータがありません
- 最終 GitHub push
- 2018年8月7日
- 最新の索引
- 2026年9月13日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- help wanted good first issue
- PR マージ指標
- 30日以内にマージされた PR はありません
-
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 名 ·