Resource allocation using an SMT solver.
Smartalloc rust binding
Unsafe rust binding to smartalloc
Intent-aware, thread-smart memory allocation for Rust game engines
Static analysis tool for framealloc - detect memory intent violations before runtime