So the week after next I start the Winter 1 2017 half-batch of the Recurse Center. My primary project will be learning rust and systems programming. My secondary project will be some SQL modeling and reporting stuff. (more…)

Paper Technical Appendix Coq Formalization Artifact (with VM) ... (more…)

Welcome to “The Rust Programming Language,” an introductory book about Rust. Rust is a programming language that’s focused on safety, speed, and concurrency. Its design lets you create programs that have the performance and control of a low-level language... (more…)

Experimental Rust UI library. Contribute to audulus/rui development by creating an account on GitHub. (more…)

💎 Artichoke is a Ruby made with Rust. Contribute to artichoke/artichoke development by creating an account on GitHub. (more…)