• KreMlin: from (a subset of) F* to C https://fstarlang.github.io/general/2016/09/30/introducing-kremlin.html 2 comments 20/10/2016

• Introducing Kremlin - F* to C compiler by verified-HTTPS team https://fstarlang.github.io/general/2016/09/30/introducing-kremlin.html 7 comments 20/10/2016 c , compilers , compsci , ml , programming , security

Linked pages

Related searches:

Search whole site: site:fstarlang.github.io

Search title: Introducing KreMlin

See how to search.