Skip to content

CakeML/cakeml

Error
Looks like something went wrong!

About

CakeML: A Verified Implementation of ML

cakeml.org

Topics

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

Resources

Readme

License

BSD-3-Clause license

Code of conduct

Code of conduct
Activity
Custom properties

Stars

1.1k stars

Watchers

42 watching

Forks

88 forks
Report repository

Releases 56

CakeML v2807 Latest
Apr 23, 2025
+ 55 releases

Contributors 70
+ 56 contributors

Languages