Search: github.com/CakeML | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

CakeML: A verified implementation of ML (github.com/CakeML)

53 points

10 years ago

2.

CakeML: A Verified Implementation of ML (github.com/CakeML)

1 point

7 years ago

3.

Show HN: Birthday-Cake Loading – Rich Next.js without punishing slow devices (github.com/shiftbloom-studio)

4 points

5 months ago

4.

Project helping to run Image Classification Models on iOS devices (github.com/makeml-app)

2 points

6 years ago