Getting started with Differentiable Datalog (DDlog) & Rust for program analysis
Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust. (more…)
Read more »
An overview of the Rocket web framework for rust. – Type Safe – Boilerplate Free – Easy to use – Extensible Including examples: – Create a Hello World servic… Read more