UW Database Group

Repositories

• website

  The DB Group Website
  HTML 21 1 7 3 Updated Jul 12, 2021

• vss

  VSS: A Storage System for Video Analytics
  C++ 0 0 0 0 Updated Jul 9, 2021

• Cosette-Web
  Python 1 2 2 1 Updated Jun 21, 2021

• TASM
  Jupyter Notebook 3 5 3 1 Updated May 20, 2021

• DeepEverest
  Python MIT 0 0 0 0 Updated Apr 28, 2021

• lightdb
  C++ 3 24 15 (6 issues need help) 1 Updated Feb 18, 2021

• Cosette

  Cosette is an automated SQL solver.

  sql database coq verification rosette
  Lean BSD-2-Clause 49 544 24 1 Updated Jan 27, 2021

• visualroad

  Visual Road: A Video Data Management Benchmark
  Python MIT 5 7 5 0 Updated Oct 10, 2020

• automatedglaucomadetection
  Jupyter Notebook BSD-3-Clause 1 2 0 0 Updated Feb 26, 2020

• vfs

  Video File System (VFS)
  C++ 0 1 0 0 Updated Oct 17, 2019

• quro

  Reordering queries to improve application performance
  C++ 2 5 0 0 Updated Apr 10, 2019

• transaction-serialisability
  0 0 0 0 Updated Feb 8, 2019

• HypDB

  Forked from CoreyCole/HypDB
  Python 4 0 0 0 Updated Aug 17, 2018

• image_analytics
  Python MIT 2 3 0 1 Updated Mar 29, 2018

• Cosette-AutoGrader
  0 0 0 0 Updated Nov 2, 2017

• pipegen

  A data pipe generator for hybrid analytics
  Java 1 10 5 0 Updated Jun 23, 2017

• visualcloud.cs.washington.edu
  HTML 0 0 0 0 Updated Jun 1, 2017

• istc_oceanography
  Jupyter Notebook 2 3 0 1 Updated Dec 21, 2016

• PSLAQueries

  Scripts for generating queries that scale (based on the PSLA query generation algorithm), along with scripts to help ingest data in parallel
  Python 1 1 0 0 Updated Feb 25, 2016

• mcl-demo

  Markov clustering middleware demo
  Scala 0 0 0 0 Updated Jan 7, 2016

• PSLAManager

  Source for the PSLAManager project
  C# BSD-3-Clause 2 5 0 0 Updated Aug 13, 2015

• PSLAScalingAlgorithms

  Scaling Algorithms for PSLA/Elasticity project
  Java 0 1 0 0 Updated Aug 13, 2015

• MyMergerTree

  The MyMergerTree visualization and scripts to ingest raw snapshot data, compute the merger trees, and visualize the data.
  JavaScript 0 0 0 0 Updated Jun 24, 2015

• ascot_myria

  Code for connecting the ascot gadget with myria specifically for running the merger tree visualization ascot gadget.
  JavaScript 2 0 9 1 Updated May 15, 2015

• logo

  UWDB group logo
  0 0 4 0 Updated Jun 13, 2014

• nchilada-verify

  Verify NChilada files in HDFS
  0 0 0 0 Updated Apr 21, 2014