Kore: Binary File Format Optimized for Modern Data Systems (Open Source) g github.com 12 arunkore2026 5 months ago 9 comments