Main repository for Harvard CS260r 2017.
☆12Apr 25, 2017Updated 8 years ago
Alternatives and similar repositories for cs260r-17
Users that are interested in cs260r-17 are comparing it to the libraries listed below
Sorting:
- Lab assignments for 6.826☆17Oct 20, 2020Updated 5 years ago
- Advanced Operating Systems project☆21Sep 19, 2025Updated 5 months ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- ☆26Dec 3, 2018Updated 7 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- xmservice☆10May 28, 2020Updated 5 years ago
- Stochastic Markov Games☆12Oct 5, 2017Updated 8 years ago
- MPU-6050 Accelerometer and Gyroscope code☆11Aug 4, 2014Updated 11 years ago
- FSCQ is a certified file system written and proven in Coq☆254Oct 21, 2022Updated 3 years ago
- A testing-driven approach to learning how to implement Prefix Trees (AKA Tries) in JavaScript.☆10Oct 12, 2015Updated 10 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Study Guide for COS 418☆11May 24, 2017Updated 8 years ago
- ☆22Feb 25, 2026Updated last week
- The cross-platform JavaScript test framework☆39May 24, 2018Updated 7 years ago
- ☆13Jun 4, 2018Updated 7 years ago
- How to use node-local MPI rank IDs to manually map MPI ranks to GPUs☆14Apr 22, 2020Updated 5 years ago
- Capture and replay execution traces of client-side web applications☆28May 31, 2013Updated 12 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- 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
- Menu bar component for React☆13Aug 3, 2017Updated 8 years ago
- DEPRECATED. asynchronous gate for javascript☆22Jul 9, 2013Updated 12 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- A very simple coq layer for spacemacs☆37Jun 20, 2019Updated 6 years ago
- An lo, on the fourth day he did step down from the mountain, and with him VIM did follow . . . .☆67May 26, 2015Updated 10 years ago
- A PBT framework☆10Jul 19, 2025Updated 7 months ago
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Nov 26, 2025Updated 3 months 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
- ☆11May 26, 2020Updated 5 years ago
- ucore+ repository for OS laboratory 2015☆11Jun 1, 2018Updated 7 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- ☆11Aug 10, 2011Updated 14 years ago
- A highly-tuned and up-to-date VimConf being maintained by the engineers at Intuitive Web Solutions.☆24Apr 20, 2016Updated 9 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Formal Specification of Trusted Execution Environment APIs☆10Dec 26, 2025Updated 2 months ago