Symbolic execution of LLVM IR with an engine written in Rust - PLSysSec/haybale... (more…)

pikkr - JSON parser which picks up values directly without performing tokenization in Rust... (more…)

I show how to use heterogeneous lists and traits to implement a type-safe printf in Rust. These mechanisms can ensure that two variadic argument lists share important properties, like the number of format string holes matches the number of printf argument... (more…)

Signup for Codecrafters for free: https://app.codecrafters.io/join?via=conaticusRepository: https://github.com/conaticus/redis-cloneDiscord: https://discord.... (more…)

In March 2015 I started a small pilot project to ship some Rust code in the Firefox web browser. It was the first Rust code to ship in… (more…)