Pinned Loading

1. zero-shot-cost-estimation zero-shot-cost-estimation Public

   Forked from DataManagementLab/zero-shot-cost-estimation

   Implementation of our VLDB'22 paper "Zero-Shot Cost Models for Out-of-the-box Learned Cost Prediction"

   Python

2. glitch glitch Public

   Deterministic simulation testing for distributed protocols

   Rust 3 1

3. viewstamped-replication-rs viewstamped-replication-rs Public

   Viewstamped Replication protocol for distributed consensus in Rust with deterministic simulation testing

   Rust 3 1

4. verified-distributed-log verified-distributed-log Public

   Formal verification of a distributed logging protocol with P

   OpenEdge ABL 3

5. atomic-skiplist atomic-skiplist Public

   Implementation of a lock-free append-only skiplist

   C++

6. gossiping-broadcast gossiping-broadcast Public

   broadcasting gossip protocol implementation based on maelstrom

   C++