CakeML / cakeml

git clone https://github.com/CakeML/cakeml.git

CakeML: A Verified Implementation of ML

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

1.2k

★ total

108

forks · 235 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageStandard ML

LicenseBSD-3-Clause

Created2012-10-09 (14y ago)

Last pushtoday

OwnerOrganization

GitHub topics

compiler formal-semantics formal-verification hol programming-language sml theorem-proving

Links

GitHub: github.com/CakeML/cakeml
Homepage: https://cakeml.org
Releases · Issues · Hacker News mentions