Writing a routing application in Rust using eBPF to minimize syscalls and copying memory... (more…)
Read more »
A multi-agent framework written in Rust that enables you to build, deploy, and coordinate multiple intelligent agents - liquidos-ai/AutoAgents... (more…)
Read more »
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native - GitHub - emilk/egui: egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native... (more…)
Read more »
We present Aeneas, a new verification toolchain for Rust programs based on a
lightweight functional translation. We leverage Rust's rich region-based type
system to eliminate memory reasoning for many Rust programs, as long as they do
not rely on interior... (more…)
Read more »
Bobweb is an independent software developer and a technology consultancy. (more…)
Read more »
