alinush / 6.858-lecture-notes

Related projects ⓘ

Alternatives and complementary repositories for 6.858-lecture-notes

• brucechin / paper
  paper collections in database/distributed system/operating system/crypto/arch/security&privacy
  ☆80Updated 3 years ago
• cornelltech / CS5830-Spring2017
  CS 5830: Cryptography
  ☆15Updated 7 years ago
• dave-andersen / coursegen
  Course web page generator framework
  ☆28Updated 12 years ago
• NYU-NEWS / janus
  ☆49Updated 8 months ago
• abcdabcd987 / distributed-consensus-simulator
  ☆14Updated 7 years ago
• learn-sys / cn
  A website providing info for self-learners who want to explore the world of operating systems. The website template is from https://githu…
  ☆50Updated 3 years ago
• columbia / crane
  Transparent Paxos
  ☆43Updated 5 years ago
• hxuhack / course_safepl
  Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
  ☆14Updated last year
• jiangyy / c3
  Crash Consistency Checker
  ☆11Updated 8 years ago
• abcdabcd987 / sit
  Simplified Git
  ☆40Updated 9 years ago
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 4 years ago
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆186Updated 6 years ago
• chyyuu / rcoresbs_doc
  ☆10Updated 5 years ago
• matthewdgreen / censorship
  EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications
  ☆15Updated 3 years ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆47Updated 2 years ago
• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆21Updated 2 years ago
• mit-pdos / 6.826-2019-labs
  Lab assignments for 6.826
  ☆10Updated 5 years ago
• sconecontainers / sconecontainers.github.io
  Scone Website
  ☆12Updated last week
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 3 years ago
• stonysystems / rolis
  Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions
  ☆14Updated 8 months ago
• stonysystems / depfast-ae
  ☆18Updated 2 weeks ago
• UCSB-TDS / CS291D-20Fall
  CS291D Course Materials
  ☆15Updated 3 years ago
• chyyuu / ucore_pub
  the ucore os protal
  ☆40Updated 12 years ago
• apc999 / libcuckoo
  A high-performance, concurrent hash table
  ☆24Updated 10 years ago
• SJTU-SE / CSDI
  研究生课程 CSDI 课堂笔记
  ☆8Updated 8 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆46Updated this week
• shuaimu / ds19spring
  CSE535 Asynchronous (Distributed) Systems 2019 Spring
  ☆28Updated 5 years ago