Alternatives and similar repositories for docs

Users that are interested in docs are comparing it to the libraries listed below

• ila / TUM
  Notes, material and various stuff collected while attended TUM Master's Degree
  ☆462Updated 2 years ago
• TUM-DSE / cloud-lab
  Cloud lab material
  ☆35Updated 2 years ago
• mcmikecreations / tum_info
  TUM exam statistics and more at the Technical University of Munich.
  ☆44Updated last month
• AlessandroGrassi99 / wgbot
  A bot that monitors wg-gesucht.de for new flat offers and automatically writes to the landlords
  ☆31Updated 2 years ago
• ymerkli / eth-summaries
  Summaries and study materials I've written over the course of my studies at ETH Zurich
  ☆88Updated 3 years ago
• Funky-Punky / FPV_SS22_Repetitorium
  ☆18Updated last year
• RumbleDB / bigdata-exercises
  Exercises for the Big Data lecture at ETH Zurich (Fall 2021)
  ☆139Updated 2 weeks ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆28Updated 3 years ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆37Updated 5 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆198Updated last year
• pdm-book / community
  ☆77Updated 2 years ago
• sampsyo / cs6120
  advanced compilers
  ☆824Updated this week
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆123Updated this week
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆75Updated 9 months ago
• OpenCoreCH / ethz_cs_summaries
  Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science
  ☆148Updated 3 years ago
• signalapp / SecureValueRecovery2
  ☆46Updated 3 weeks ago
• zifeo / EPFL
  EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).
  ☆168Updated 3 years ago
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆236Updated this week
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆337Updated 2 weeks ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆33Updated 2 weeks ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆258Updated last week
• toddmaustin / spectre-rust
  Spectre V1 Proof-of-Concept Attack in the Rust Language
  ☆19Updated last month
• sampsyo / bril
  an educational compiler intermediate representation
  ☆665Updated 2 months ago
• hxuhack / course_safepl
  Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
  ☆28Updated last week
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆105Updated 9 months ago
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆34Updated last year
• jonhoo / bystander
  ☆30Updated 3 years ago
• ls1-sys-prog-course-archive-SoSe22 / docs
  Documentation and links about the course
  ☆25Updated 2 years ago
• cryspen / hax
  A Rust verification tool
  ☆261Updated this week
• komora-io / concurrent-map
  lock-free B+ tree
  ☆287Updated 8 months ago