{"id":"1903.00982","title":"Oxide: The Essence of Rust","url":"https://codeofpaper.com/paper/1903.00982","arxiv_url":"https://arxiv.org/abs/1903.00982","published":"2019-03-03","code":"official","best":{"full_name":"aatxe/oxide","url":"https://github.com/aatxe/oxide","tier":"official","stars":136,"license":"GPL-3.0","framework":null,"language":"OCaml","last_commit":"2022-02-25T22:06:43"},"most_starred_community":null,"implementations":[{"full_name":"aatxe/oxide","url":"https://github.com/aatxe/oxide","tier":"official","stars":136,"license":"GPL-3.0","framework":null,"language":"OCaml","last_commit":"2022-02-25T22:06:43"}],"possible_matches":0}