Rust is a popular programming language in building various low-level software in recent years. It aims to provide safe concurrency when implementing multi-threaded software through a suite of compiler checking rules. Unfortunately, there is limited unders... (more…)

Use Tree Sitter to parse your own languages in Rust - GitHub - hydro-project/rust-sitter: Use Tree Sitter to parse your own languages in Rust... (more…)

l2 is a Pytorch-style Tensor+Autograd library written in Rust - bkkaggle/L2... (more…)

Safe interop between Rust and C++. Contribute to dtolnay/cxx development by creating an account on GitHub. (more…)

We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manipulating programs. First, we design a novel refined type system for Rust tha... (more…)