CakeML/cakemlStandard ML
CakeML: A Verified Implementation of ML
(1169 star) (98 fork) (39 issue indicizzate) (39 good first issue aperte)
Repository
Newsletter quotidiana
Ricevi issue Easy fresche nella tua inbox.
Iscriviti a GoodFirstIssue Daily per ricevere nuove issue Easy pronte per iniziare lavoro open source adatto ai principianti.