Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST - GitHub - mrLSD/semantic-analyzer-rs: Semantic analyzer library for compilers written in ... (more…)

Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust. (more…)

Last year I finally decided to learn some Rust. The official book by Steve Klabnik and Carol Nichols is excellent, but even after reading it and working on some small code exercises, I felt that I … (more…)

Berlin based technology consultancy specialising in the Rust programming language. We offer development, implementation, training and long-term support. (more…)

Rusts type system requires that there only ever is one mutable reference to a value or one or more shared references. What happens when you need multiple references to some value, but also need to mutate through them? We use a trick called interor mutabil... (more…)