{"id":"1703.00053","title":"Verified Low-Level Programming Embedded in F*","url":"https://codeofpaper.com/paper/1703.00053","arxiv_url":"https://arxiv.org/abs/1703.00053","published":"2017-02-28","code":"official","best":{"full_name":"FStarLang/karamel","url":"https://github.com/FStarLang/karamel","tier":"official","stars":522,"license":"Apache-2.0","framework":null,"language":"OCaml","last_commit":"2026-10-20T19:44:59"},"most_starred_community":null,"implementations":[{"full_name":"FStarLang/karamel","url":"https://github.com/FStarLang/karamel","tier":"official","stars":522,"license":"Apache-2.0","framework":null,"language":"OCaml","last_commit":"2026-10-20T19:44:59"}],"possible_matches":0}