bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 7 months agoVerified Rust for low-level systems codegithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-textcross-posted to: rust@lemmit.onlineformal_methods@programming.dev
arrow-up11arrow-down1external-linkVerified Rust for low-level systems codegithub.combot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 7 months agomessage-square0fedilinkfile-textcross-posted to: rust@lemmit.onlineformal_methods@programming.dev