pdm-book / community

Related projects: ⓘ

• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆41Updated 10 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆68Updated 8 months ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆33Updated last year
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆95Updated 2 months ago
• MillenniumDB / MillenniumDB
  Property Graph and RDF engine, still in development
  ☆70Updated this week
• cwida / FastLanes
  Towards a New File Format
  ☆149Updated this week
• szarnyasg / graph-data-management
  ☆40Updated last week
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆207Updated 8 months ago
• fdbresearch / FIVM
  Factorized Incremental View Maintenance for Queries and Analytics
  ☆21Updated last year
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆62Updated 2 years ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆222Updated last year
• apavlo / pvldb-announce
  PVLDB Paper Announcement Script
  ☆19Updated last month
• cwida / duckdb-pgq
  DuckDB is an in-process SQL OLAP Database Management System
  ☆38Updated last week
• microsoft / SQL-ProcBench
  SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.
  ☆42Updated 2 years ago
• asenac / rust-sql-playground
  A SQL query compiler written in Rust from scratch
  ☆20Updated 8 months ago
• will62794 / tla-web
  Interactive, web-based environment for exploring TLA+ specifications.
  ☆68Updated last month
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆190Updated 4 months ago
• XinyuZeng / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats"
  ☆43Updated 4 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆143Updated 4 months ago
• mkarppa / hyperlogloglog
  HyperLogLogLog: Counting Distinct Elements With One Log More
  ☆18Updated 2 years ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆195Updated 3 weeks ago
• balsa-project / balsa
  Balsa is a learned SQL query optimizer. It tailor optimizes your SQL queries to find the best execution plans for your hardware and engin…
  ☆122Updated 2 years ago
• cwida / duckpgq-extension
  DuckDB extension that adds support for SQL/PGQ
  ☆60Updated last week
• anikristo / LearnedSort
  Learned Sort: a model-enhanced sorting algorithm
  ☆80Updated 3 years ago
• 17zhangw / protox
  Proto-X VLDB 2024.
  ☆14Updated 2 months ago
• tuhhosg / exmap
  ☆36Updated 5 months ago
• cornelldbgroup / skinnerdb
  SkinnerDB is an analytical database management system. It uses adaptive processing and reinforcement learning to find near-optimal join o…
  ☆47Updated 6 months ago
• dsg-uwaterloo / graphsurge
  Graphs analytics on collections of views!
  ☆34Updated 9 months ago
• learnedsystems / RadixSpline
  A Single-Pass Learned Index
  ☆124Updated last year
• graphflow / graphflow-columnar-techniques
  ☆22Updated 2 years ago