About: Anodize is a Rust library that offers language-level guarantees for mixed criticality systems. This was a group project for CSE 605: Advanced Concepts in Programming Languages. Completed: December 2020 Github repository: link Final writeup: link
