[Main website]

tech/mps-memory-manager

https://github.com/Ravenbrook/mps

used in production. Manage memory using different approaches.