Verax is a composable query optimizer - View it on GitHub