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
- ☆18Feb 11, 2025Updated last year
- New generation of Canvas Helper.☆11Jul 15, 2024Updated last year
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆14Feb 20, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 4 years ago
- Debug print operator for cudagraph debugging☆18Aug 2, 2024Updated last year
- A list of papers I have read.☆12Nov 19, 2023Updated 2 years ago
- Notes for different courses in SJTU☆27Jun 2, 2024Updated 2 years ago
- Official code repo for paper "Great Memory, Shallow Reasoning: Limits of kNN-LMs"☆24Apr 30, 2025Updated last year
- An artifact for Berti: an Accurate and Timely Local-Delta Data Prefetcher☆37Nov 9, 2022Updated 3 years ago
- ☆18Oct 8, 2024Updated last year
- Prefix Filter: Practically and Theoretically Better Than Bloom.☆49Sep 12, 2022Updated 3 years ago
- [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.☆39Jun 9, 2022Updated 4 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.
- [HotStorage'24 Best Paper] Can Modern LLMs Tune and Configure LSM-based Key-Value Stores?☆28Nov 27, 2024Updated last year
- MCP client and Skill for US Card Forum☆114Apr 11, 2026Updated 2 months ago
- Reproduce the results of Tree-based Convolutional Neural Network (TBCNN)☆39Mar 25, 2023Updated 3 years ago
- 🔥 LLM-powered GPU kernel synthesis: Train models to convert PyTorch ops into optimized Triton kernels via SFT+RL. Multi-turn compilation…☆142Nov 10, 2025Updated 7 months ago
- The #SAT solver sharpSAT☆64Aug 28, 2022Updated 3 years 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
- Get a free freebsd shell☆15Nov 8, 2025Updated 8 months ago
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 8 months ago
- Typed python equivalent for R pipes.☆14Oct 16, 2022Updated 3 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.
- GADT-based field accessors and utilities☆17May 18, 2026Updated last month
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆52Updated this 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
- Portable Event Library☆18Apr 28, 2025Updated last year
- 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
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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☆118Sep 25, 2025Updated 9 months ago
- A SQL database☆88Jun 10, 2023Updated 3 years ago
- ☆15Dec 31, 2025Updated 6 months ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 3 years ago