Actor framework for Rust. Contribute to actix/actix development by creating an account on GitHub. (more…)

This tutorial starts a series of tutorials for rg3d game engine. In this series we’ll make a 3D shooter - something similar to rusty-shooter. Also, the series should help you to learn basic principles which lies in the foundation of the engine. (more…)

No More Rust in the Kernel After much debate, it’s become clear that Rust in the kernel is like pineapple on pizza, controversial, divisive, and not everyone agrees it belongs. This merge request b... (more…)

a pragmatic point-free theorem prover assistant. Contribute to advancedresearch/poi development by creating an account on GitHub. (more…)

Session-typed GPU divergence: compile-time prevention of shuffle-from-inactive-lane bugs - modelmiser/warp-types... (more…)