Hacker GitHub

← All repos

FStarLang/karamel

View on GitHub ↗ ★ 528 OCaml

KaRaMeL is a tool for extracting low-level F* programs to readable C code

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2020-01-18 · latest 2021-04-20

Mentions per year 3 mentions · busiest year 2021 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …from the verified FStar, so in theory it wouldn’t be too hard to also extract Rust code too. [1] https://github.com/FStarLang/kremlin
    comment by profquail · 2021-04-20 · in Preparing Rustls for Wider Adoption
  2. …problem if you have good modular compilation. http://www.fftw.org/ http://flopoco.gforge.inria.fr/ https://github.com/FStarLang/kremlin https://github.com/project-everest/vale
    comment by lapinot · 2021-03-21 · in The Generic Dilemma (2009)
  3. Url changed from https://github.com/FStarLang/kremlin , which points to this. A tiny thread from 2016: https://news.ycombinator.com/item?id=12753788
    comment by dang · 2020-01-18 · in KreMLin: A tool for extracting low-level F* programs to readable C code