pdm-book / communityLinks
☆78Updated 2 years ago
Alternatives and similar repositories for community
Users that are interested in community are comparing it to the libraries listed below
Sorting:
- Prototype compiler from SaneQL to SQL☆83Updated last year
- The SQL Standards Project aims to create consensus in SQL semantics☆46Updated 9 months ago
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆54Updated last month
- ☆48Updated last month
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆241Updated last week
- Streaming and Incremental Computation Framework☆241Updated 2 years ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆132Updated this week
- Query Optimizer Service☆75Updated 2 months ago
- A Database System for Research and Fast Prototyping☆106Updated 2 months ago
- ☆82Updated 9 months ago
- SIGMOD Contest 2025 Winning Solution☆31Updated 2 months ago
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated 3 weeks ago
- Clingo on the web☆41Updated this week
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Updated last year
- A GQL parser build with ANTLR v4.☆61Updated 3 years ago
- A SQL query compiler written in Rust from scratch☆22Updated 10 months ago
- Standard ML interpreter, with relational extensions, implemented in Java☆40Updated this week
- Formalization of DBSP☆23Updated last year
- Tool for checking whether two SQL queries are equivalent☆36Updated 2 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆131Updated 5 months ago
- A code-generating database system with incorporated versioning commands in SQL.☆13Updated 4 years ago
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 3 years ago
- LingoDB: A new analytical database system that blurs the lines between databases and compilers.☆270Updated this week
- ☆22Updated 9 months ago
- Labelled Subgraph Query Benchmark – A lightweight benchmark suite focusing on subgraph matching queries. Note: This is a microbenchmark f…☆34Updated 2 months ago
- Verifying concurrent crash-safe systems☆197Updated this week
- Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17☆60Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Property Graph and RDF engine, still in development☆228Updated this week