3 ms·
KreMLin: A tool for extracting low-level F* programs to readable C code
- dang 7y agoUrl changed from https://github.com/FStarLang/kremlin https://github.com/FStarLang/kremlin, which points to this. A tiny thread from 2016: https://news.ycombinator.com/item?id=12753788 https://news.ycombinator.com/item?id=12753788