A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

SoTA LLM for converting natural language questions to SQL queries

Evaluate the accuracy of LLM generated outputs

SQLStorm: Taking Database Benchmarking into the LLM Era

TPC-H dbgen

TPC-H benchmark kit with some modifications/additions

Python client for Trino

LLM inference in C/C++

Python SQL Parser and Transpiler

Can the Rookies Cut the Tough Cookie? Exploring the Use of LLMs for SQL Equivalence Checking

Cosette is an automated SQL solver.

Simple job queues for Python

A Rust HTTP server for Python applications

Supplementary materials for SlabCity: Whole-Query Optimization using Program Synthesis

A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.

An automated prover that verifies the equivalence of SQL queries

One advanced and mature open-source MPP (Massively Parallel Processing) database. Open source alternative to Greenplum Database.

A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python, R, Java, C++. Supports comp…

A PostgreSQL EXPLAIN ANALYZE visualizer with advanced quirk correction algorithms.

PostgreSQL-compatible TPC-H benchmark, with wrapper scripts for populating data and evaluating performance

TPC-DS benchmark kit with some modifications/fixes

A random SQL query generator

Implementation of our VLDB'22 paper "Zero-Shot Cost Models for Out-of-the-box Learned Cost Prediction"

Platform to evaluate index selection algorithms

TPC-H benchmark data generation in pure Rust

Join Order Benchmark (JOB)

Papers for database systems powered by artificial intelligence (machine learning for database)