Datafrog: A lightweight Datalog engine in Rust

A lightweight Datalog engine in Rust. Contribute to rust-lang/datafrog development by creating an account on GitHub. Read more

Similar

Inline in Rust

There’s a lot of tribal knowledge surrounding #[inline] attribute in Rust.I often find myself teaching how it works, so I finally decided to write this... (more…)

Read more »

References in Rust

Rust references are very simple at runtime: they are plain memory addresses. At compile time, in contrast, references participate in more complex compiler analysis. For example, references help to prove memory safety of a program. But in this post, I will... (more…)

Read more »