CakeML/cakemlStandard ML
CakeML: A Verified Implementation of ML
(1.169 Stars) (98 Forks) (39 indexierte Issues) (39 offene good first issues)
Repositories
Täglicher Newsletter
Erhalte frische Easy Issues per E-Mail.
Abonniere GoodFirstIssue Daily für neue Easy Issues, mit denen Einsteiger echte Open-Source-Arbeit starten können.