CakeML/cakemlStandard ML
CakeML: A Verified Implementation of ML
(1,169 stars) (98 forks) (39 件の索引済み issue) (39 件のオープンな good first issue)
リポジトリ
Daily Newsletter
新着 Easy issues をメールで受け取る。
GoodFirstIssue Daily に登録して、初心者が実際のオープンソース作業を始めやすい新着 Easy issues を受け取りましょう。