karamel (lang/fstar) Updated: 4 days, 22 hours ago Add to my watchlist
A tool for extracting low-level F* programs to readable C codeKaRaMeL (formerly KreMLin) is a tool that extracts an F* program to readable C code.
Version: 2025.04.01 License: Apache-2
GitHub
32 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 12.arm64 | 164380 | 2026-04-20 3:33:05 | 0:00:03 | 56000 | failed install-dependencies |
| 14.arm64 | 75959 | 2026-04-18 3:29:13 | 0:01:27 | 30069 | build successful |
| 15.arm64 | 42529 | 2026-04-17 14:43:49 | 0:01:38 | 17161 | build successful |
| 26.arm64 | 33756 | 2026-04-17 7:16:56 | 0:01:26 | 6889 | build successful |
| 11.arm64 | 135954 | 2026-04-16 21:57:36 | 0:00:07 | 52681 | failed install-dependencies |
| 13.arm64 | 102562 | 2026-04-16 16:39:49 | 0:00:01 | 42043 | failed install-dependencies |
| 13 | 108425 | 2026-04-16 5:24:16 | 0:00:02 | 41970 | failed install-dependencies |
| 14 | 81668 | 2026-04-16 2:23:59 | 0:01:16 | 30533 | build successful |
| 15 | 55525 | 2026-04-16 0:39:50 | 0:01:14 | 17999 | build successful |
| 10.6 | 232293 | 2026-04-15 21:02:25 | 0:00:43 | 80007 | failed install-dependencies |
| 10.6 | 232293 | 2026-04-15 21:02:25 | 0:00:43 | 80007 | failed install-dependencies |
| 10.6.x86_64 | 269536 | 2026-04-15 20:52:19 | 0:00:41 | 80074 | failed install-dependencies |
| 10.6.x86_64 | 269536 | 2026-04-15 20:52:19 | 0:00:41 | 80074 | failed install-dependencies |
| 11 | 207409 | 2026-04-15 20:47:03 | 0:00:12 | 67766 | failed install-dependencies |
| 10.15 | 233852 | 2026-04-15 20:44:45 | 0:00:12 | 77506 | failed install-dependencies |
| 10.14 | 257537 | 2026-04-15 20:43:05 | 0:00:07 | 88390 | failed install-dependencies |
| 10.14 | 257537 | 2026-04-15 20:43:05 | 0:00:07 | 88390 | failed install-dependencies |
| 12 | 155740 | 2026-04-15 20:41:53 | 0:00:08 | 56295 | failed install-dependencies |
| 10.12 | 329692 | 2026-04-15 20:38:00 | 0:00:10 | 106142 | failed install-dependencies |
| 10.12 | 329692 | 2026-04-15 20:38:00 | 0:00:10 | 106142 | failed install-dependencies |
| 10.11 | 319343 | 2026-04-15 20:32:21 | 0:00:31 | 107287 | failed install-dependencies |
| 10.11 | 319343 | 2026-04-15 20:32:21 | 0:00:31 | 107287 | failed install-dependencies |
| 10.13 | 284669 | 2026-04-15 20:28:19 | 0:00:11 | 97796 | failed install-dependencies |
| 10.13 | 284669 | 2026-04-15 20:28:19 | 0:00:11 | 97796 | failed install-dependencies |
| 10.8 | 235978 | 2026-04-15 20:22:44 | 0:00:21 | 77526 | failed install-dependencies |
| 10.8 | 235978 | 2026-04-15 20:22:44 | 0:00:21 | 77526 | failed install-dependencies |
| 10.7 | 251014 | 2026-04-15 20:22:30 | 0:00:14 | 79426 | failed install-dependencies |
| 10.7 | 251014 | 2026-04-15 20:22:30 | 0:00:14 | 79426 | failed install-dependencies |
| 10.10 | 328757 | 2026-04-15 20:20:32 | 0:00:17 | 107009 | failed install-dependencies |
| 10.10 | 328757 | 2026-04-15 20:20:32 | 0:00:17 | 107009 | failed install-dependencies |
| 10.9 | 337097 | 2026-04-15 20:18:31 | 0:00:11 | 106893 | failed install-dependencies |
| 10.9 | 337097 | 2026-04-15 20:18:31 | 0:00:11 | 106893 | failed install-dependencies |