mit-pdos / 6.826-2019-labsView external linksLinks
Lab assignments for 6.826
☆11Nov 8, 2019Updated 6 years ago
Alternatives and similar repositories for 6.826-2019-labs
Users that are interested in 6.826-2019-labs are comparing it to the libraries listed below
Sorting:
- ☆30Dec 12, 2021Updated 4 years ago
- Advanced Operating Systems project manifest☆14Sep 6, 2025Updated 5 months ago
- Lab assignments for 6.826☆17Oct 20, 2020Updated 5 years ago
- This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews shoul…☆13May 15, 2020Updated 5 years ago
- Prototype implementation and extended paper of SDPaxos☆16Nov 30, 2018Updated 7 years ago
- Programming labs for 6.S060 (Foundations of Computer Security).☆15Nov 19, 2021Updated 4 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20May 4, 2022Updated 3 years ago
- A high-performance, concurrent hash table☆25Dec 15, 2013Updated 12 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- This repository contains lab assignments done in the course CS220: Computer Organization at IIT Kanpur☆10Aug 8, 2019Updated 6 years ago
- Assignments/MIDSEM/ENDSEM question papers of courses at IITK.☆10May 7, 2024Updated last year
- ☆13Jan 17, 2022Updated 4 years ago
- Reinforcement Learning (PPO) applied to a multiplayer simple card game (Witches)☆10Jun 7, 2020Updated 5 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- IITK CSE 5th semester course materials, lecture notes, assignments, and resources for CS-330, CS-340, CS-345, CS-771, and ESO-201☆11Aug 20, 2025Updated 5 months ago
- ☆12Mar 26, 2020Updated 5 years ago
- xmservice☆10May 28, 2020Updated 5 years ago
- access ChatGPT/Gemini/Claude from Emacs without APIs☆10Dec 25, 2025Updated last month
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- Alveo Collective Communication Library: MPI-like communication operations for Xilinx Alveo accelerators☆101Jun 30, 2025Updated 7 months ago
- ☆35May 27, 2020Updated 5 years ago
- qemu patched for debugging, used for 6.828☆86Mar 10, 2024Updated last year
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Nov 19, 2019Updated 6 years ago
- RISC-V RV32I CPU written in verilog☆10Jul 11, 2020Updated 5 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Nov 11, 2025Updated 3 months ago
- Study Guide for COS 418☆11May 24, 2017Updated 8 years ago
- Notes for EE364a - Convex Optimization I @ Stanford (will update Ch 6 - Ch 13 later)☆11Jul 30, 2019Updated 6 years ago
- 🕹 Implementation for the lesson Compiling Engineering(2020 Spring) in Peking University, adjusted from UCLA CS 132 Project.☆10Jun 21, 2020Updated 5 years ago
- biRISC-V - 32-bit dual issue RISC-V CPU Software Environment☆15Jun 24, 2021Updated 4 years ago
- PID control library for Particle, adapted from br3ttb/Arduino-PID-Library☆11Feb 15, 2024Updated 2 years ago
- [ICLR 2025 SynthData Workshop Spotlight] Empowering LLMs in Decision Games through Algorithmic Data Synthesis☆26Apr 27, 2025Updated 9 months ago
- THE ART of MULTIPROCESSOR PROGRAMMING, Maurice Herlihy & Nir Shavit☆10Feb 12, 2023Updated 3 years ago
- BOSSA is the programming software used to program SAM-based Arduino boards like Flutter. We added our chip.☆12Mar 17, 2015Updated 10 years ago
- internship☆10Sep 1, 2017Updated 8 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- Daily EDN exports of ClojureDocs's database.☆10Dec 14, 2024Updated last year
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆12Jan 6, 2016Updated 10 years ago