soniahorchidan

act

Run your GitHub Actions locally 🚀

faiss

A library for efficient similarity search and clustering of dense vectors.

annoy

Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk

models

A collection of pre-trained, state-of-the-art models in the ONNX format

marqo

Unified embedding generation and search engine. Also available on cloud - cloud.marqo.ai

ModernCppStarter

🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.

souper

A superoptimizer for LLVM IR

risinglight

An educational OLAP database system.

egg

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

FALCONN

FAst Lookups of Cosine and Other Nearest Neighbors (based on fast locality-sensitive hashing)

fortuna

A Library for Uncertainty Quantification.

duckdb_spatial

ULTRA

A foundation model for knowledge graph reasoning

parlaylib

A Toolkit for Programming Parallel Algorithms on Shared-Memory Multicore Machines

verdict

Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing

conformal_classification

Wrapper for a PyTorch classifier which allows it to output prediction sets. The sets are theoretically guaranteed to contain the true class with high probability (via conformal prediction).

BaoForPostgreSQL

A prototype implementation of Bao for PostgreSQL

cqd

Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs

conformalized-gnn

Uncertainty Quantification over Graph with Conformalized Graph Neural Networks (NeurIPS 2023)

InductiveQE

Official implementation of Inductive Logical Query Answering in Knowledge Graphs (NeurIPS 2022)

Database-Optimization

:books: A collection of work related to Database Optimization.

ragedb

In Memory Property Graph Server using a Shared Nothing design

LearnedRewrite

An online logical query rewrite demo (schema+sql only)!

kuzudb-study

Benchmark study on KùzuDB, an embedded OLAP graph database, on an artificial social network dataset

portals

Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors

DAPS

Implementations of methods proposed in the paper "Conformal Prediction Sets for Graph Neural Networks"

refinery

Refinery: an efficient graph solver for generating well-formed models

omnipaxos-playground

Playground to visualize OmniPaxos.

ML-To-SQL

Code for the ML-To-SQL framework described in paper (LINK). Allows transforming ML models to a relational representation and performing model inference using plain SQL..

msc_thesis_code

Conformal prediction with an underlying GraphSAGE applied to dynamic and static graphs.