Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by uwdb
A curated list of projects in awesome lists by uwdb .
https://github.com/uwdb/cosette
Cosette is an automated SQL solver.
coq database rosette sql verification
Last synced: 10 Oct 2024
https://github.com/uwdb/Cosette
Cosette is an automated SQL solver.
coq database rosette sql verification
Last synced: 03 Aug 2024
https://github.com/uwdb/deepeverest
DeepEverest: a system for efficient DNN interpretation.
Last synced: 08 Nov 2024
https://github.com/uwdb/visualroad
Visual Road: A Video Data Management Benchmark
Last synced: 08 Nov 2024
https://github.com/uwdb/masksearch
MaskSearch: Querying Image Masks at Scale
Last synced: 08 Nov 2024
https://github.com/uwdb/quro
Reordering queries to improve application performance
Last synced: 08 Nov 2024
https://github.com/uwdb/equi-vocal
EQUI-VOCAL: Synthesizing Queries for Compositional Video Events from Limited User Interactions
Last synced: 08 Nov 2024
https://github.com/uwdb/vocal-udf
VOCAL-UDF: Self-Enhancing Video Data Management System for Compositional Events with Large Language Models
Last synced: 08 Nov 2024
https://github.com/uwdb/pslaqueries
Scripts for generating queries that scale (based on the PSLA query generation algorithm), along with scripts to help ingest data in parallel
Last synced: 08 Nov 2024
https://github.com/uwdb/color
COLOR: A Framework for Applying Graph Coloring to Subgraph Cardinality Estimation
Last synced: 08 Nov 2024
https://github.com/uwdb/pslascalingalgorithms
Scaling Algorithms for PSLA/Elasticity project
Last synced: 08 Nov 2024
https://github.com/uwdb/mymergertree
The MyMergerTree visualization and scripts to ingest raw snapshot data, compute the merger trees, and visualize the data.
Last synced: 08 Nov 2024
https://github.com/uwdb/ascot_myria
Code for connecting the ascot gadget with myria specifically for running the merger tree visualization ascot gadget.
Last synced: 08 Nov 2024