Cloud lab material
☆36Jan 30, 2023Updated 3 years ago
Alternatives and similar repositories for cloud-lab
Users that are interested in cloud-lab are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Practical course: Advanced Systems Programming in C/Rust -- SoSe 2023☆25Jul 1, 2023Updated 3 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- ☆17Sep 20, 2021Updated 4 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Persistent, read-only, FUSE-based caching file system☆21Jan 14, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- High level overview of Rust☆19Oct 13, 2021Updated 4 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated 2 years ago
- Resources for distributed computing.☆16Sep 25, 2017Updated 8 years ago
- ☆12Dec 17, 2023Updated 2 years ago
- Virtualization course at the UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆27Jan 23, 2025Updated last year
- ☆18Mar 15, 2020Updated 6 years ago
- ☆27Jun 24, 2022Updated 4 years ago
- Lab assignments for the Agile Hardware Design course☆19Nov 14, 2025Updated 7 months ago
- Building an intuition for different IO models (sync, io_uring, etc.) across different languages.☆29Oct 19, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- verilog modules☆15May 4, 2020Updated 6 years ago
- MV-RLU: Scaling Read-Log-Update with Multi-Versioning☆15Nov 8, 2021Updated 4 years ago
- A Distributed File System and Database☆26May 12, 2019Updated 7 years ago
- Example pet shop written in Haskell☆12Jan 28, 2016Updated 10 years ago
- Today I Learned - inspired by @simonw and @jbranchaud☆54Apr 1, 2026Updated 3 months ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 3 years ago
- ☆19Jul 1, 2020Updated 6 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆19Feb 22, 2025Updated last year
- Scripts for building the rtools installer bundle☆15May 8, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆26Dec 4, 2020Updated 5 years ago
- ☆31Sep 9, 2017Updated 8 years ago
- Graphene: Fine-Grained IO Management for Graph Computing. FAST'17☆20Apr 12, 2017Updated 9 years ago
- A GPU-Accelerated In-Memory Key-Value Store (AWS-focused fork)☆28Nov 1, 2017Updated 8 years ago
- ☆22Jun 18, 2021Updated 5 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 11 years ago
- Multi-GPU dynamic scheduler using PGAS style cross-GPU communication☆29Jul 23, 2023Updated 2 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆34Jul 15, 2019Updated 6 years ago
- FlashMob is a shared-memory random walk system.☆33Jul 7, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- CS 704 course website - Principles of Programming Languages☆69Nov 24, 2022Updated 3 years ago
- Get a free freebsd shell☆15Nov 8, 2025Updated 8 months ago
- LonestarGPU: Irregular algorithms parallelized for GPUs☆38Nov 11, 2019Updated 6 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- GADT-based field accessors and utilities☆17May 18, 2026Updated last month
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆20Jan 11, 2026Updated 5 months ago
- ☆26Sep 6, 2017Updated 8 years ago