An implementation of the ConnectRPC protocol for Rust - anthropics/connect-rust... (more…)

Goal: Replace Gecko’s XML parser, libexpat, with a Rust-based XML parser Firefox currently uses an old, trimmed down, and slightly modified version of libexpat, a library written in C, to sup… (more…)

Kani Rust Verifier. Contribute to model-checking/kani development by creating an account on GitHub. (more…)

I saw a recent Reddit post on the advances in Generic Associated Types (GATs) in Rust, which allows for the definition of a Monad trait. In this post, I'm going to take it one step further: a monad transformer trait in Rust! (more…)

A container runtime written in Rust. Contribute to containers/youki development by creating an account on GitHub. (more…)