FStarLang / karamel
git clone https://github.com/FStarLang/karamel.git
KaRaMeL is a tool for extracting low-level F* programs to readable C code
+0
stars, 24h · #42,085
+~0
stars, 7 days · #46,306
+~0
stars, 30 days · #46,899
522
★ total
74
forks · 61 open issues
Star history (as recorded here)
LanguageOCaml
LicenseApache-2.0
Created2016-05-27 (10y ago)
Last push2d ago
OwnerOrganization