Alternatives and similar repositories for ICPC2014

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

• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆69Updated 2 years ago
• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆92Updated 5 months ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆42Updated 7 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆22Updated 2 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• uwplse / Casper
  A compiler for automatically re-targeting sequential Java code to Apache Spark.
  ☆51Updated 2 years ago
• PermutaTriangle / comb_spec_searcher
  a Python library for combinatorial exploration
  ☆12Updated last week
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 8 years ago
• VLDB2020 / VLDB2020.github.io
  A repository of the web page for VLDB2020 @ Tokyo
  ☆15Updated 3 years ago
• All-less / continuum
  A platform for online learning that curtails data latency and saves you cost.
  ☆47Updated 4 years ago
• shuaimu / ds19spring
  CSE535 Asynchronous (Distributed) Systems 2019 Spring
  ☆28Updated 6 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆70Updated 6 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 3 years ago
• mikex86 / tritonc
  Standalone commandline CLI tool for compiling Triton kernels
  ☆20Updated last year
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆21Updated 7 months ago
• researchsetup / researchsetup.github.io
  ☆44Updated 5 years ago
• DBOS-project / dbos-scheduler
  ☆28Updated 4 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆33Updated 5 years ago
• buckeye-cn / ACM_ICPC_Materials
  Preparation materials for ACM ICPC
  ☆43Updated 2 months ago
• ekzhang / library
  Advanced algorithm and data structure library in C++
  ☆65Updated 5 years ago
• nunoplopes / torchy
  A tracing JIT compiler for PyTorch
  ☆13Updated 4 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆50Updated 3 years ago
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆15Updated 10 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated last month
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 8 years ago
• foreverbell / acm-icpc-cheat-sheet
  Cheat sheet for ACM-ICPC. In memory of those good old days.
  ☆172Updated 7 years ago
• parrt / cs345
  CS345 Programming Languages at University of San Francisco
  ☆20Updated 9 years ago
• ept / dist-sys
  Distributed systems lecture notes
  ☆69Updated 3 months ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆17Updated 5 years ago