☆53Nov 26, 2024Updated last year
Alternatives and similar repositories for LLM-R2
Users that are interested in LLM-R2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An automated prover that verifies the equivalence of SQL queries☆69Nov 22, 2025Updated 8 months ago
- Galois☆15Jul 16, 2026Updated 3 weeks ago
- A Benchmark for Transactional Database Performance Anomalies☆13Nov 21, 2023Updated 2 years ago
- Query Plan Evaluation☆17Jul 18, 2023Updated 3 years ago
- A Vagrant box that automatically loads the IMDB dataset into Postgres☆82Mar 22, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆25Mar 26, 2026Updated 4 months ago
- ☆64May 12, 2024Updated 2 years ago
- A prototype implementation of Bao for PostgreSQL☆222Sep 17, 2024Updated last year
- ☆19Apr 28, 2026Updated 3 months ago
- QUITE: A query rewrite system beyond rules with LLM agents.☆23Jun 22, 2026Updated last month
- Tool for checking whether two SQL queries are equivalent☆35May 9, 2023Updated 3 years ago
- Implements the [TPCH benchmark](http://www.tpc.org/tpch/) for Postgres☆30Apr 11, 2022Updated 4 years ago
- [NAACL 2024] CoE-SQL: In-Context Learning for Multi-Turn Text-to-SQL with Chain-of-Editions☆13May 7, 2024Updated 2 years ago
- ☆21Dec 2, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆36Aug 31, 2022Updated 3 years ago
- Codes for building an AI-native database☆77Jul 29, 2024Updated 2 years ago
- ☆19Apr 14, 2026Updated 3 months ago
- ☆13Jul 16, 2022Updated 4 years ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- GPTuner is a manual-reading database tuning system leveraging domain knowlege automatically and extensively to enhance knob tuning proces…☆129Jul 3, 2025Updated last year
- ☆19Jan 31, 2024Updated 2 years ago
- Source code for QuickSel (SIGMOD 2020)☆19Jul 12, 2025Updated last year
- ☆25Mar 5, 2026Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Language Models as Multi-Modal Query Planners☆21Mar 20, 2024Updated 2 years ago
- ☆27Dec 14, 2022Updated 3 years ago
- Please visit https://github.com/HKUSTDial/NL2SQL360 to get the official code!☆10Sep 1, 2024Updated last year
- Benchmarking data and script used for LLM multi-agent collaboration systems from AWS Bedrock Agents Science team.☆18Dec 10, 2024Updated last year
- ☆27Jul 12, 2021Updated 5 years ago
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆83Sep 21, 2025Updated 10 months ago
- ☆16May 6, 2025Updated last year
- Dumpy: A Compact and Adaptive Index for Large Data Series Collections (SIGMOD'23)☆13Dec 12, 2023Updated 2 years ago
- ☆22Oct 9, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rich and fast user-defined functions in relational databases☆22Sep 8, 2022Updated 3 years ago
- Tools for processing MySQL optimizer trace☆16Sep 29, 2020Updated 5 years ago
- [EMNLP 2023] Once Upon a *Time* in *Graph*: Relative-Time Pretraining for Complex Temporal Reasoning☆17Oct 31, 2023Updated 2 years ago
- ☆17May 2, 2024Updated 2 years ago
- Network Density of States (https://arxiv.org/abs/1905.09758) (KDD 2019)☆25Jul 21, 2019Updated 7 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- Cardinality Estimation Benchmark☆92Aug 28, 2023Updated 2 years ago