Best Typed Memory Models GitHub Repos (2026)