Repositories list

• Cosette

  Public
  Cosette is an automated SQL solver.

  sqldatabaseverification+ 2rosettecoq

  Lean

  •

  BSD 2-Clause "Simplified" License

  •54•668•25•2•Updated Dec 18, 2024Dec 18, 2024

• website

  Public
  The DB Group Website

  HTML

  •24•6•2•3•Updated Dec 10, 2024Dec 10, 2024

• VOCAL-UDF

  Public
  VOCAL-UDF: Self-Enhancing Video Data Management System for Compositional Events with Large Language Models

  Jupyter Notebook

  •

  MIT License

  •0•5•0•0•Updated Oct 23, 2024Oct 23, 2024

• color

  Public
  COLOR: A Framework for Applying Graph Coloring to Subgraph Cardinality Estimation

  Julia

  •

  MIT License

  •0•1•2•23•Updated Jul 31, 2024Jul 31, 2024

• EQUI-VOCAL

  Public
  EQUI-VOCAL: Synthesizing Queries for Compositional Video Events from Limited User Interactions

  Jupyter Notebook

  •

  MIT License

  •1•6•0•0•Updated Jun 24, 2024Jun 24, 2024

• DeepEverest

  Public
  DeepEverest: a system for efficient DNN interpretation.

  Jupyter Notebook

  •

  MIT License

  •6•13•0•0•Updated Jan 22, 2024Jan 22, 2024

• MaskSearch

  Public
  MaskSearch: Querying Image Masks at Scale

  Python

  •

  MIT License

  •1•5•0•0•Updated Jan 9, 2024Jan 9, 2024

• equi-vocal-demo

  Public
  JavaScript

  •0•0•0•0•Updated Nov 11, 2023Nov 11, 2023

• VOCALExplore

  Public
  Python

  •

  MIT License

  •0•3•0•0•Updated Sep 4, 2023Sep 4, 2023

• lightdb

  Public
  C++

  •

  MIT License

  •6•30•15•1•Updated May 16, 2023May 16, 2023

• Cosette-Web

  Public
  Python

  •1•2•2•5•Updated May 1, 2023May 1, 2023

• egg

  Public
  egg is a flexible, high-performance e-graph library

  Rust

  •

  MIT License

  •141•0•0•0•Updated Aug 4, 2022Aug 4, 2022

• TASM

  Public
  Jupyter Notebook

  •3•7•4•1•Updated Apr 1, 2022Apr 1, 2022

• vss

  Public
  VSS: A Storage System for Video Analytics

  C++

  •3•9•0•0•Updated Jul 9, 2021Jul 9, 2021

• visualroad

  Public
  Visual Road: A Video Data Management Benchmark

  Python

  •

  MIT License

  •10•9•7•0•Updated Oct 10, 2020Oct 10, 2020

• automatedglaucomadetection

  Public
  Jupyter Notebook

  •

  BSD 3-Clause "New" or "Revised" License

  •1•4•0•0•Updated Feb 26, 2020Feb 26, 2020

• vfs

  Public
  Video File System (VFS)

  C++

  •0•2•0•0•Updated Oct 17, 2019Oct 17, 2019

• quro

  Public
  Reordering queries to improve application performance

  C++

  •2•5•0•0•Updated Apr 10, 2019Apr 10, 2019

• transaction-serialisability

  Public
  0•0•0•0•Updated Feb 8, 2019Feb 8, 2019

• HypDB

  Public
  Python

  •4•0•0•0•Updated Aug 17, 2018Aug 17, 2018

• image_analytics

  Public
  Python

  •

  MIT License

  •2•3•0•1•Updated Mar 29, 2018Mar 29, 2018

• Cosette-AutoGrader

  Public
  0•0•0•0•Updated Nov 2, 2017Nov 2, 2017

• pipegen

  Public
  A data pipe generator for hybrid analytics

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •1•11•5•0•Updated Jun 23, 2017Jun 23, 2017

• visualcloud.cs.washington.edu

  Public
  HTML

  •0•0•0•0•Updated Jun 1, 2017Jun 1, 2017

• istc_oceanography

  Public
  Jupyter Notebook

  •2•3•0•1•Updated Dec 21, 2016Dec 21, 2016

• PSLAQueries

  Public
  Scripts for generating queries that scale (based on the PSLA query generation algorithm), along with scripts to help ingest data in parallel

  Python

  •1•2•0•0•Updated Feb 25, 2016Feb 25, 2016

• mcl-demo

  Public
  Markov clustering middleware demo

  Scala

  •0•0•0•0•Updated Jan 7, 2016Jan 7, 2016

• PSLAManager

  Public
  Source for the PSLAManager project

  C#

  •

  Other

  •2•5•0•0•Updated Aug 13, 2015Aug 13, 2015

• PSLAScalingAlgorithms

  Public
  Scaling Algorithms for PSLA/Elasticity project

  Java

  •0•1•0•0•Updated Aug 13, 2015Aug 13, 2015

• MyMergerTree

  Public
  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, 2015Jun 24, 2015