CakeML / cakeml
CakeML: A Verified Implementation of ML
See what the GitHub community is most excited about today.
CakeML: A Verified Implementation of ML
mAuth Client Signing/Authentication Protocol Test Suite
Performance Software for Cyclists, Runners, Triathletes and Coaches