YTsaurus is a scalable and fault-tolerant open-source big data platform.

Creusot helps you prove your code is correct in an automated fashion.

Subcommand to show result of macro expansion

A web application completely written in Rust. 🌍