Producing readable, idiomatic Rust code is a major goal of C2Rust, our project to accelerate migration of C code into Rust. One hurdle we faced is the mismatch between C headers and the Rust module system. C and Rust are similar in many ways: they're both... (more…)

Framework agnostic toolchain for building highly secure native apps that have tiny binaries and are very fast. - tauri-apps/tauri... (more…)

I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi... (more…)

Clojure, implemented atop Rust . Contribute to Tko1/ClojureRS development by creating an account on GitHub. (more…)

I’ve recently read an article criticizing Rust, and, while it made a bunch of good points, I didn’t enjoy it — it was an easy t... (more…)