Package Details: kremlin

Git Clone URL: (read-only, click to copy)
Package Base: kremlin
Description: a tool for extracting low-level F* programs to readable C code
Upstream URL:
Licenses: Apache-2.0
Submitter: crave
Maintainer: crave
Last Packager: crave
Votes: 0
Popularity: 0.000000
First Submitted: 2018-07-27 09:31 (UTC)
Last Updated: 2018-07-29 17:12 (UTC)

Latest Comments

crave commented on 2018-10-01 19:04 (UTC)

I've tried hard to get kremlin to work, but OCaml was too strong. I encourage you to take up my prior work - I'd greatly appreciate to once say yay kremlin.