CakeML/cakemlStandard ML
CakeML: A Verified Implementation of ML
(1.169 stars) (98 forks) (39 issues indexadas) (39 good first issues abertas)
Repositórios
Newsletter diária
Receba issues Easy novas por email.
Assine o GoodFirstIssue Daily para receber novas issues Easy prontas para trabalho open source amigável para iniciantes.