kremlin (lang/fstar) Updated: 2 years, 10 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
2025-Mar-15 to 2025-Apr-14
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.