KreMLin is a tool for extracting low-level F* programs to readable C code - FStarLang |
GitHub | https://github.com/FStarLang/kremlin | |
Size | 82.6M (82.5M (+16K)) | |
Commits | 3649 (3647 (+2)) | |
Update Stats | 0s ... 7m48s [Ø (last 10) 9s (9,10,10,9,10,9,9,9,9,9))] | |
Last Change | 2023-09-06 19:36:36 | |
Last Check | 2023-09-16 14:26:34 | |
Created | 2020-05-16 00:42:26 |
Operation
Verifying url ...
Mail to Andreas Kupries