A C/C++ build system/project manager written in Rust - STBoyden/ocean... (more…)

Welcome to my collection of resources for those learning the Rust programming language. The advice in these pages is typically suitable for those with at least a beginning familiarity of Rust -- for example, those who have worked through The Book -- but ... (more…)

rust-out-your-c-talk - Slides and resources for my talk "Rust out your C", first given at Pittsburgh Tech Fest June 11, 2016. (more…)

This is something I’ve been asking myself while learning Rust. Yes, I know that this sounds like a weird question to ask as it’s no secret that Rust has huge influence from the functional programmi… (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…)