ls1-sys-prog-course-archive-SoSe23 / docsLinks
Practical course: Advanced Systems Programming in C/Rust -- SoSe 2023
☆24Updated 2 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below
Sorting:
- Cloud lab material☆36Updated 3 years ago
- A curated list of resources on operating system design and implementation.☆189Updated last year
- The formally verified crypto library for Rust☆199Updated this week
- CS61 lecture material☆103Updated last month
- Rust port of dendibakh/perf-ninja - an online course where you can learn and master the skill of low-level performance analysis and tunin…☆261Updated 4 months ago
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆44Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆366Updated last week
- Lab assignments for 6.826☆17Updated 5 years ago
- A Rust verification tool☆365Updated this week
- Verifying concurrent storage and distributed systems☆215Updated this week
- List of bugs found in distributed protocols☆205Updated last year
- Rust Code Reading Clubs☆141Updated 4 years ago
- Here we collect worldwide courses teaching formal methods☆42Updated 6 years ago
- Language for high-assurance and high-speed cryptography☆327Updated this week
- Notes on Lindsey Kuper's lectures on Distributed Systems☆482Updated 5 months ago
- ☆24Updated last year
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆284Updated 2 weeks ago
- In this repository, I will publish my notes for GaTech's Advanced Operating Systems course (CS6210).☆118Updated 6 years ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆44Updated 3 weeks ago
- advanced compilers☆891Updated 3 weeks ago
- Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University☆33Updated 3 months ago
- Practical course: Advanced Systems Programming in C/Rust -- WiSe 2023☆32Updated 2 years ago
- A verification toolchain for Rust programs☆529Updated last week
- An illustration of good taste in code☆13Updated last year
- All material for CS140E, winter 2023.☆93Updated last year
- UT Austin CS 380D Distributed Systems with Vijay Chidambaram☆22Updated 4 years ago
- High level overview of Rust☆18Updated 4 years ago
- Please see https://github.com/hacspec/hax☆245Updated last year
- Verifying the Rust standard library☆320Updated this week
- summaries of courses taken at ETH☆29Updated 4 years ago