Alternatives and similar repositories for ICPC2014

Users that are interested in ICPC2014 are comparing it to the libraries listed below

• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆91Updated 2 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 2 years ago
• DBOS-project / dbos-scheduler
  ☆28Updated 4 years ago
• VLDB2020 / VLDB2020.github.io
  A repository of the web page for VLDB2020 @ Tokyo
  ☆15Updated 3 years ago
• exoshuffle / raysort
  ☆15Updated 2 years ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆42Updated 7 years ago
• uwplse / Casper
  A compiler for automatically re-targeting sequential Java code to Apache Spark.
  ☆50Updated 2 years ago
• All-less / continuum
  A platform for online learning that curtails data latency and saves you cost.
  ☆47Updated 3 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆33Updated 4 years ago
• parasj / papers
  Summaries of readings in operating systems, networking and machine learning
  ☆22Updated 6 years ago
• shuaimu / ds19spring
  CSE535 Asynchronous (Distributed) Systems 2019 Spring
  ☆28Updated 6 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆203Updated last year
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• tchajed / protocol-verification-fa2023
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆11Updated last year
• UBOdin / jitd
  Just in Time Datastructures
  ☆11Updated 8 years ago
• wyfunique / DBSim
  The codebase for DBSim
  ☆15Updated 2 years ago
• UWHustle / hustle
  In-memory, columnar, arrow-based database.
  ☆48Updated 3 years ago
• mikebenfield / Learned-Index-Structures
  Learned Index Structures
  ☆51Updated 7 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆50Updated 3 years ago
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 8 years ago
• ucbrise / cs294-ai-sys-fa19
  CS294-162; Machine Learning Systems Seminar
  ☆31Updated 2 years ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆64Updated last month
• STAR-Research / 18-847C-S22
  Official page for 18-847C (Spring '22): Data Center Computing
  ☆15Updated 3 years ago
• stanford-futuredata / index-baselines
  Simple baselines for "Learned Indexes"
  ☆158Updated 7 years ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆26Updated last year
• anikristo / LearnedSort
  Learned Sort: a model-enhanced sorting algorithm
  ☆81Updated 4 years ago
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 4 years ago
• Yuzhen11 / tangram
  Bridging Immutable and Mutable Abstractions for Distributed Data Analytics
  ☆12Updated 6 years ago
• ray-project / plasma
  A minimal shared memory object store design
  ☆54Updated 9 years ago
• jordiae / neural-compilers
  ☆21Updated 3 years ago