kremlin (lang/fstar) Updated: 2 years, 5 months ago Add to my watchlist
A tool for extracting low-level F* programs to readable C codeKreMLin is a tool that extracts an F* program to readable C code.
Version: 2022.06.08 License: Apache-2
GitHub
Statistics for selected duration
2024-Oct-25 to 2024-Nov-24
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.