KreMLin is a tool for extracting low-level F* programs to readable C code - FStarLang |
https://github.com/FStarLang/kremlin | ||
Size | 27.5M (27.5M (+36K)) | |
Commits | 4560 (4557 (+3)) | |
Update Stats | 0s ... 7m48s [Ø (last 10) 5s (6,6,6,5,5,5,5,5,5,6))] | |
Last Change | 2025-07-04 21:36:41 | |
Last Check | 2025-07-04 21:36:41 | |
Created | 2020-05-16 00:42:26 |
Operation
Verifying url ...
Mail to Andreas Kupries