Owner · CakeML

CakeML

CakeML's tracked open-source repos, sorted by stars.

1 repos

#1
cakeml ↗@CakeMLStandard ML
CakeML: A Verified Implementation of ML
★ 1,190+2Star change over the last 7 days