pdm-book / community

Related projects ⓘ

Alternatives and complementary repositories for community

• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆72Updated 11 months ago
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆43Updated last month
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆34Updated last year
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆98Updated 3 weeks ago
• asenac / rust-sql-playground
  A SQL query compiler written in Rust from scratch
  ☆20Updated 2 months ago
• XinyuZeng / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆46Updated 6 months ago
• MaterializeInc / advent-of-code-2023
  Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄
  ☆20Updated 3 months ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆27Updated 2 weeks ago
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆218Updated 10 months ago
• szarnyasg / graph-data-management
  ☆40Updated 3 weeks ago
• will62794 / tla-web
  Interactive, web-based environment for exploring and visualizing TLA+ specifications.
  ☆74Updated this week
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆225Updated last year
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆159Updated 2 weeks ago
• lorenzhs / BuRR
  Bumped Ribbon Retrieval and Approximate Membership Query
  ☆39Updated this week
• viktorleis / mmapbench
  ☆130Updated 2 years ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆24Updated 8 months ago
• PierreSenellart / provsql
  Adding support for provenance and uncertainty management to PostgreSQL databases
  ☆45Updated last month
• scuptio / sedeve-kit
  In Spec We Trust
  ☆32Updated 4 months ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆164Updated this week
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆192Updated 6 months ago
• tlaplus / tlapm
  The TLA Proof Manager
  ☆67Updated 3 weeks ago
• vmware-archive / sql-to-dbsp-compiler
  Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)
  ☆28Updated last year
• learnedsystems / RadixSpline
  A Single-Pass Learned Index
  ☆128Updated last year
• harp-lab / gdlog
  ☆75Updated last month
• p-org / peasy-ide-vscode
  Peasy: An Intuitive Development Environment for P
  ☆13Updated 2 months ago
• dbunibas / chasebench
  Benchmarking the Chase
  ☆9Updated 7 years ago
• MillenniumDB / MillenniumDB
  Property Graph and RDF engine, still in development
  ☆74Updated 2 weeks ago
• microsoft / SQL-ProcBench
  SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.
  ☆43Updated 3 years ago
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆11Updated 3 months ago