Unsafe versions of standard library From<T> and Into<T>. - prostomarkeloff/unsafe_from... (more…)

In this post we’ll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source virtualization project for serverless applications. We ... (more…)

Build system, successor to Buck. Contribute to facebookincubator/buck2 development by creating an account on GitHub. (more…)

▁▂▆▇▁▄█▁ Sparklines for Rust apps. Contribute to reugn/rspark development by creating an account on GitHub. (more…)

I've always wanted to build a text editor. I've played around before with trying to modify existing editors like codemirror. But ultimately those just felt incredibly unsatisfying. While I was able to make some fun little experiments with them, I was just... (more…)