terman / 6.004_coursewareLinks
Courseware used in the 6.004 Labs (jsim, tmsim, bsim)
☆12Updated 10 years ago
Alternatives and similar repositories for 6.004_courseware
Users that are interested in 6.004_courseware are comparing it to the libraries listed below
Sorting:
- 6.004_tools Browser-based Courseware for 6.004☆17Updated 5 years ago
- cs140e winter 2019 class materials.☆138Updated 6 years ago
- A LaTeX Package for 膜☆59Updated 8 years ago
- Scribe: the record-replay mechanism☆35Updated 13 years ago
- Course web page generator framework☆28Updated 13 years ago
- Simplified Git☆39Updated 10 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- FSCQ is a certified file system written and proven in Coq☆253Updated 3 years ago
- Chickadee OS for Harvard CS 161☆100Updated last year
- ☆395Updated 5 years ago
- CS 5830: Cryptography☆15Updated 8 years ago
- Automated multicore scalability testing tool☆88Updated 10 years ago
- Backing repository for CS107e site. Don't commit here (automatically managed). Read content on website☆142Updated last week
- Educational open-source CPU suite (with assembler, linker and simulator)☆178Updated last year
- Source code for testing the Row Hammer error mechanism in DRAM devices. Described in the ISCA 2014 paper by Kim et al. at http://users.ec…☆233Updated 10 years ago
- 6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)☆47Updated 7 years ago
- This repository contains a tutorial for a quick start in how to write a register allocator using LLVM☆278Updated 6 years ago
- ☆186Updated 5 years ago
- Network Stack in Userspace☆306Updated 3 weeks ago
- DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers☆135Updated 7 years ago
- The engine of Cunik.☆26Updated 7 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Updated 3 years ago
- Main repository of the Vigor NF verification project.☆48Updated 4 years ago
- Transparent Paxos☆45Updated 6 years ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆92Updated 6 months ago
- OpenSGX☆305Updated 5 years ago
- Repository of course notes and homework☆433Updated 3 years ago
- ☆211Updated 3 years ago
- The Vagrant Virtual Machine for CS 162 students.☆58Updated 2 years ago
- HotCRP conference review software☆394Updated this week