Cornell Tech CS 5112 Fall 2023
☆30Nov 28, 2023Updated 2 years ago
Alternatives and similar repositories for cs5112-fall2023
Users that are interested in cs5112-fall2023 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Efficient Device Scheduling with Multi-Job Federated Learning☆21Sep 15, 2023Updated 2 years ago
- For CS/DS/ECE students at XJTLU. Make XJTLU Great Again.☆70May 5, 2024Updated 2 years ago
- A fast approximate membership query data structure☆12Jul 16, 2024Updated last year
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- torch.compile artifacts for common deep learning models, can be used as a learning resource for torch.compile☆19Dec 22, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 4 years ago
- Debug print operator for cudagraph debugging☆15Aug 2, 2024Updated last year
- EMT: An OS Framework for New Memory Translation Architectures☆34Jul 22, 2025Updated 10 months ago
- A list of papers I have read.☆12Nov 19, 2023Updated 2 years ago
- [MSST '24] SAS-Cache: A Semantic-Aware Secondary Cache for LSM-based Key-Value Stores☆14Jun 3, 2024Updated 2 years ago
- [HotStorage '24] Can ZNS SSDs be Better Storage Devices for Persistent Cache?☆13Jun 14, 2024Updated 2 years ago
- ☆16Jan 20, 2026Updated 4 months ago
- [MSST '24] Prophet: Optimizing LSM-Based Key-Value Store on ZNS SSDs with File Lifetime Prediction and Compaction Compensation.☆15Apr 20, 2024Updated 2 years ago
- ☆32Jul 13, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆18Oct 8, 2024Updated last year
- [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.☆39Jun 9, 2022Updated 4 years ago
- [HotStorage'24 Best Paper] Can Modern LLMs Tune and Configure LSM-based Key-Value Stores?☆28Nov 27, 2024Updated last year
- a proof-of-concept programming language based on call-by-push-value☆68May 27, 2026Updated 3 weeks ago
- Nova-LSM is a component-based design of the LSM-tree using fast and high bandwidth networks such as RDMA.☆52Dec 15, 2021Updated 4 years ago
- Collection of benchmark services and tools for NebulaGraph☆44Jun 21, 2024Updated last year
- Hands-On Practical MLIR Tutorial☆59Aug 21, 2025Updated 9 months ago
- Get a free freebsd shell☆15Nov 8, 2025Updated 7 months ago
- Typed python equivalent for R pipes.☆14Oct 16, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- GADT-based field accessors and utilities☆17May 18, 2026Updated last month
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆52Jun 12, 2026Updated last week
- Algorithms that work on generic C arrays☆11Feb 13, 2017Updated 9 years ago
- Repository containing examples of usage of pcb-rs☆10Apr 8, 2022Updated 4 years ago
- As I work thought the book "Practical Binary Analysis" by Dennis Andriesse, https://practicalbinaryanalysis.com/ I try to make editions f…☆11Sep 28, 2021Updated 4 years ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆15May 27, 2026Updated 3 weeks ago
- A high-performance, thread-safe HashMap and LRU cache for Rust with fine-grained per-key locking.☆15May 13, 2026Updated last month
- Study materials collected while studying☆51Apr 16, 2022Updated 4 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆11Mar 7, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Priority queue for C☆12Mar 28, 2023Updated 3 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Language modeling with linear-cost context☆119Sep 25, 2025Updated 8 months ago
- A SQL database☆88Jun 10, 2023Updated 3 years ago
- ☆15Dec 31, 2025Updated 5 months ago
- Source code on the 1.44MB 3.5 floppy accompanying the Windows NT File System Internals book.☆20Jul 31, 2019Updated 6 years ago