Hacker News
- CakeML: A formally verified implementation of ML https://cakeml.org/ 0 comments
- The Verified CakeML Compiler Back End [pdf] https://www.cs.cmu.edu/~yongkiat/files/cakeml-jfp.pdf 11 comments
- CakeML – A Verified Implementation of ML https://cakeml.org/ 24 comments
- CakeML – A Verified Implementation of ML https://cakeml.org/ 37 comments
- CakeML: A verified implementation of ML https://github.com/CakeML/cakeml 20 comments
Lobsters
- CakeML https://cakeml.org/ 3 comments compilers , formalmethods , ml
- CakeML - A bootstrapping verified ML compiler https://cakeml.org/ 3 comments compilers , programming