Peloton Design Docs
☆28Aug 1, 2018Updated 7 years ago
Alternatives and similar repositories for peloton-design
Users that are interested in peloton-design are comparing it to the libraries listed below
Sorting:
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- The Self-Driving Database Management System☆2,049May 15, 2019Updated 6 years ago
- levi-db is a fast database engine☆36May 11, 2018Updated 7 years ago
- SQL Testing Framework for the Peloton DBMS☆20Oct 21, 2017Updated 8 years ago
- Linux Kernel TLS/DTLS Module Tool☆22Jul 31, 2017Updated 8 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- ☆21Sep 22, 2017Updated 8 years ago
- A contiguous region of bytes, useful for I/O operations.☆33Jul 15, 2020Updated 5 years ago
- Distributed Systems Reading Group☆20Nov 28, 2017Updated 8 years ago
- A SQL-to-native-code compiler based on LLVM☆48Dec 16, 2015Updated 10 years ago
- DBMS Performance & Correctness Testing Framework☆30Sep 22, 2021Updated 4 years ago
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Resources for the transaction SIG☆61Sep 29, 2022Updated 3 years ago
- Sample implementation of a proposed C++ hashing framework☆29Oct 27, 2015Updated 10 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…☆29Oct 30, 2017Updated 8 years ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago
- Mirror of Apache Omid Incubator☆92Jan 6, 2026Updated 2 months ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- libpaxos的注释版本☆34Aug 25, 2014Updated 11 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Apr 12, 2019Updated 6 years ago
- An open sourced implementation of Bw-Tree in SQL Server Hekaton☆526Nov 14, 2018Updated 7 years ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆92Dec 11, 2022Updated 3 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- Deep Learning Tutorial notes and code. See the wiki for more info.☆10Oct 29, 2015Updated 10 years ago
- A database with automatic dynamic imputation of missing values.☆11Nov 2, 2017Updated 8 years ago
- RISC-V RV32I CPU written in verilog☆10Jul 11, 2020Updated 5 years ago
- ☆13Feb 13, 2026Updated 3 weeks ago
- `async-ctrlc` is an async wrapper of the `ctrlc` crate in Rust☆15May 30, 2020Updated 5 years ago
- Mirror of Apache Harmony DRLVM☆14Mar 21, 2010Updated 15 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Feb 23, 2026Updated last week
- PID control library for Particle, adapted from br3ttb/Arduino-PID-Library☆11Feb 15, 2024Updated 2 years ago
- ☆11Mar 14, 2024Updated last year
- Unreal Engine simulator for our self driving car training☆11Nov 18, 2021Updated 4 years ago
- Native Linux KVM tool☆12Feb 4, 2026Updated last month
- The labs of ARC university courses☆12Aug 29, 2023Updated 2 years ago