atmorgan / ICPC2014Links
☆12Updated 2 years ago
Alternatives and similar repositories for ICPC2014
Users that are interested in ICPC2014 are comparing it to the libraries listed below
Sorting:
- ☆15Updated last year
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated 2 years ago
- A tracing JIT compiler for PyTorch☆13Updated 3 years ago
- This is the course taught by Prof.John Shen and Prof. Onur Mutlu from CMU☆11Updated 9 years ago
- CSE535 Asynchronous (Distributed) Systems 2019 Spring☆28Updated 6 years ago
- Standalone commandline CLI tool for compiling Triton kernels☆17Updated 11 months ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- A platform for online learning that curtails data latency and saves you cost.☆47Updated 3 years ago
- CS294-162; Machine Learning Systems Seminar☆31Updated 2 years ago
- A repository of the web page for VLDB2020 @ Tokyo☆15Updated 3 years ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆89Updated last week
- The Musketeer workflow manager.☆41Updated 6 years ago
- Summaries of readings in operating systems, networking and machine learning☆22Updated 6 years ago
- A library for syntactically rewriting Python programs, pronounced (sinner).☆69Updated 3 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- Heavyweight Python dynamic analysis framework☆17Updated last year
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆72Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆16Updated 3 years ago
- ☆20Updated 3 years ago
- Implementation of a Tensorflow XLA rematerialization pass☆15Updated 5 years ago
- ☆28Updated 4 years ago
- Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016☆32Updated 9 years ago
- UT Austin CS 380D Distributed Systems with Vijay Chidambaram☆20Updated 4 years ago
- CS 704 course website - Principles of Programming Languages☆68Updated 2 years ago
- Diamond reactive programming platform☆26Updated 3 years ago
- Fixed-Point Decimal Library from Carnegie Mellon University☆35Updated last year
- SQL Testing Framework for the Peloton DBMS☆20Updated 7 years ago
- A database with automatic dynamic imputation of missing values.☆11Updated 7 years ago