Alternatives and similar repositories for 6.858-lecture-notes:

Users that are interested in 6.858-lecture-notes are comparing it to the libraries listed below

• brucechin / paper
  paper collections in database/distributed system/operating system/crypto/arch/security&privacy
  ☆81Updated 3 years ago
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆193Updated 6 years ago
• matthewdgreen / censorship
  EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications
  ☆15Updated 4 years ago
• NYU-NEWS / janus
  ☆50Updated last year
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆18Updated 8 years ago
• abcdabcd987 / distributed-consensus-simulator
  ☆14Updated 7 years ago
• dave-andersen / coursegen
  Course web page generator framework
  ☆28Updated 12 years ago
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago
• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆24Updated 2 years ago
• cornelltech / CS5830-Spring2017
  CS 5830: Cryptography
  ☆15Updated 7 years ago
• columbia / crane
  Transparent Paxos
  ☆44Updated 5 years ago
• chyyuu / ucore_pub
  the ucore os protal
  ☆41Updated 12 years ago
• adityabhandari1992 / cs346-redbase
  CS 346 RedBase Project (Stanford)
  ☆37Updated 9 years ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 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…
  ☆51Updated 3 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 years ago
• flexible-address-space / flexspace
  Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22
  ☆21Updated 2 weeks ago
• hxuhack / course_safepl
  Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
  ☆28Updated this week
• chyyuu / compiler_lab
  Some toy labs for compiler course
  ☆58Updated 2 years ago
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆29Updated 2 years ago
• 6035 / java-skeleton
  Java Skeleton Code for 6.035
  ☆8Updated 4 years ago
• Emilio66 / CSDI
  一起搞个大新闻 :)
  ☆74Updated 8 years ago
• utsaslab / optfs
  The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…
  ☆33Updated 11 years ago
• Fugoes / yaay-rs
  Yet Another AsYnc runtime for RuSt.
  ☆34Updated 5 years ago
• abcdabcd987 / sit
  Simplified Git
  ☆40Updated 9 years ago
• aniampio / Simulator
  Mix network simulator
  ☆9Updated 3 years ago
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆36Updated last week
• cmu-db / pgextmgrext
  A Postgres Extension to Manage Extensions! (As well as some random stuff)
  ☆15Updated last year
• skyzh / raft-kvs
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆42Updated 4 years ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 2 years ago