CakeML/cakeml

CakeML: A Verified Implementation of ML

↗ Open on GitHub

Stars

1,190

Forks

101

Language

Standard ML

License

BSD-3-Clause

Last push

6 days ago

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

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.