[Dok Melody Scratchpad Notes]

tech/mps-memory-manager

https://github.com/Ravenbrook/mps

used in production. Manage memory using different approaches.