Understanding and Reusing Test Suites Across Database Systems. SIGMOD'25
☆11Jan 13, 2026Updated 9 months ago
Alternatives and similar repositories for SQuaLity
Users that are interested in SQuaLity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated testing for XML XPath execution☆20Jan 5, 2024Updated 2 years ago
- Datalog Engines OPtimization Tester.☆13Jan 18, 2024Updated 2 years ago
- A lightweight tool for detecting bugs on Graph Database Management Systems☆16Jan 9, 2024Updated 2 years ago
- Scaling Automated Database System Testing. ASPLOS'26☆19Aug 27, 2026Updated last month
- A basic repository for a Clang-based tool, with CMake integration.☆10Sep 22, 2023Updated 3 years 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.
- An automated prover that verifies the equivalence of SQL queries☆70Nov 22, 2025Updated 11 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆62May 16, 2025Updated last year
- The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches, ACM CCS'24☆11Nov 11, 2024Updated last year
- modulekit - A set of Tarantool module templates☆13Nov 9, 2021Updated 4 years ago
- ☆13Apr 13, 2023Updated 3 years ago
- UIHash: Detecting Similar Android UIs through Grid-Based Visual Appearance Representation, USENIX Security '24☆12Dec 5, 2024Updated last year
- V-gram indexing for PostgreSQL☆12Jul 30, 2025Updated last year
- SWE-Serve: an agentic benchmark of 53 production inference-engineering tasks derived from merged SGLang pull requests, run with Harbor.☆19Oct 9, 2026Updated 2 weeks ago
- ☆14Apr 4, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆85Oct 5, 2026Updated 2 weeks ago
- source files for GloBI website☆10Updated this week
- TeLL: Log Level Suggestions via Modeling Multi-Level Code Block Information, ISSTA'22☆14Jul 14, 2022Updated 4 years ago
- Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines, ACM EuroSys'25☆16Feb 6, 2026Updated 8 months ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆52Jul 14, 2025Updated last year
- Easy and Interactive Code Data Engineering☆40Sep 28, 2026Updated 3 weeks ago
- Local Support Learning☆16Oct 4, 2026Updated 2 weeks ago
- To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.☆38Jan 24, 2024Updated 2 years ago
- ☆28Aug 27, 2026Updated last month
- 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.
- WebAssembly utility functions for SurrealQL parsing and validation☆14Jun 13, 2026Updated 4 months ago
- ☆18Jul 7, 2026Updated 3 months ago
- ☆17Oct 4, 2026Updated 2 weeks ago
- Use cases for ShadeMap API☆13Jun 10, 2024Updated 2 years ago
- ☆15Jul 17, 2026Updated 3 months ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- An standalone execution trace library built on DynamoRIO.☆23Jul 4, 2022Updated 4 years ago
- Java网络常用工具类☆13Dec 14, 2024Updated last year
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years 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.
- Benchmarking LLMs on literature-grounded large-scale OR problems for efficient algorithm design (NeurIPS 2026 Datasets and Benchmarks Tra…☆41Oct 11, 2026Updated last week
- ☆21Jul 21, 2026Updated 3 months ago
- ☆12May 25, 2022Updated 4 years ago
- Chrome Extension for visualizing browsing history☆11Sep 6, 2023Updated 3 years ago
- Reaction training game for Super Smash Bros. Melee☆13Dec 7, 2022Updated 3 years ago
- Reject membrane, embrace monke☆11Jan 7, 2022Updated 4 years ago
- [ESEC/FSE'23] Hue: A User-Adaptive Parser for Hybrid Logs☆10Aug 24, 2023Updated 3 years ago