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 6 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
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 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 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
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- Assignments/MIDSEM/ENDSEM question papers of courses at IITK.☆12May 7, 2024Updated last year
- 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 6 months ago
- This repository contains lab assignments done in the course CS220: Computer Organization at IIT Kanpur☆10Aug 8, 2019Updated 6 years ago
- access ChatGPT/Gemini/Claude from Emacs without APIs☆10Dec 25, 2025Updated 2 months ago
- xmservice☆10May 28, 2020Updated 5 years ago
- ☆12Mar 26, 2020Updated 5 years ago
- Reinforcement Learning (PPO) applied to a multiplayer simple card game (Witches)☆10Jun 7, 2020Updated 5 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- Alveo Collective Communication Library: MPI-like communication operations for Xilinx Alveo accelerators☆102Jun 30, 2025Updated 8 months ago
- ☆35May 27, 2020Updated 5 years ago
- qemu patched for debugging, used for 6.828☆85Mar 10, 2024Updated last year
- 🕹 Implementation for the lesson Compiling Engineering(2020 Spring) in Peking University, adjusted from UCLA CS 132 Project.☆10Jun 21, 2020Updated 5 years ago
- Show Window Stations, Desktops and top level windows☆17Jun 10, 2023Updated 2 years ago
- biRISC-V - 32-bit dual issue RISC-V CPU Software Environment☆15Jun 24, 2021Updated 4 years ago
- ☆11Jul 10, 2025Updated 7 months ago
- ☆10Nov 29, 2023Updated 2 years ago
- Daily EDN exports of ClojureDocs's database.☆10Dec 14, 2024Updated last year
- EUR/USD forex algotrading on QuantConnect with 938% return on 10 years of backtesting data☆12Dec 27, 2018Updated 7 years ago
- MetroHash v1: Exceptionally fast and statistically robust hash functions☆10Apr 10, 2025Updated 10 months ago
- A simple C wrapper library, for generating PostScript files.☆11Oct 24, 2020Updated 5 years ago
- Go implementation of MEV-Extract for Ethereum☆12Dec 17, 2022Updated 3 years ago
- This simulator models multi core systems, intended primarily for studies on main memory management techniques. It models a trace-based ou…☆12Jan 18, 2016Updated 10 years ago
- Fast poor man's profiler for Linux☆12Jun 8, 2023Updated 2 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Feb 23, 2026Updated 2 weeks ago
- A survey of manufacturer-provided DRAM operating parameters and timings as specified by DRAM chip datasheets from between 1970 and 2021. …☆11May 4, 2022Updated 3 years ago
- ☆17Jan 6, 2024Updated 2 years ago