KIT-TVA/WebCorCTypeScript
Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology
(7 stars) (4 forks) (1 件の索引済み issue) (1 件のオープンな good first issue)
リポジトリ
Daily Newsletter
新着 Easy issues をメールで受け取る。
GoodFirstIssue Daily に登録して、初心者が実際のオープンソース作業を始めやすい新着 Easy issues を受け取りましょう。