Hacker GitHub

← All repos

CakeML/cakeml

View on GitHub ↗ ★ 1,225 Standard ML

CakeML: A Verified Implementation of ML

12 mentions on Hacker News by 12 people: 2 stories, 10 comments · first 2015-03-02 · latest 2025-11-21

Mentions per year 12 mentions · busiest year 2019 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    CakeML: A Verified Implementation of ML
    story by adgasf · 2019-06-12 · 0 comments
  2. ▲ 53
    CakeML: A verified implementation of ML
    story by poppingtonic · 2016-03-26 · 20 comments