My exercises and homework for Operating Systems: Three Easy Pieces
☆63Oct 8, 2017Updated 8 years ago
Alternatives and similar repositories for ostep
Users that are interested in ostep are comparing it to the libraries listed below
Sorting:
- ☆11Jun 10, 2024Updated last year
- RTL blocks compatible with the Rocket Chip Generator☆17Mar 30, 2025Updated 11 months ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 5 years ago
- ☆17Oct 9, 2023Updated 2 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System☆20May 16, 2019Updated 6 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- All public report slides, articles and meeting minutes related to RustSBI☆29Dec 14, 2025Updated 2 months ago
- ☆32Jul 11, 2022Updated 3 years ago
- Kernel programming: This is a simple kernel module implementation for enforcing access control policies using Linux Security Module frame…☆32Apr 7, 2018Updated 7 years ago
- CTP with python3.4.3☆10Aug 1, 2017Updated 8 years ago
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- My workings for book / project. Don't copy them for the Coursera course!☆34May 18, 2015Updated 10 years ago
- LaTeX 入门讲座资料☆10Sep 29, 2019Updated 6 years ago
- ☆10Nov 26, 2020Updated 5 years ago
- ☆13Updated this week
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer …☆10Nov 27, 2019Updated 6 years ago
- newtype and refinement (refined) type for Scala 3☆14Feb 25, 2026Updated last week
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- ☆10Jun 9, 2016Updated 9 years ago
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- Helper to provide a common federated authentication for all services within a domain (AKA Panda 🐼)☆11Updated this week
- Replication package of the ICSE2025 paper titled "Leveraging Large Language Models for Enhancing the Understandability of Generated Unit …☆11Feb 19, 2025Updated last year
- A source which uses result of everything (http://www.voidtools.com/) for unite.vim☆15Apr 2, 2018Updated 7 years ago
- A slim modal component for Vue.js☆11Dec 25, 2021Updated 4 years ago
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- Pekko Streams support for JSON via Circe☆10Nov 10, 2025Updated 3 months ago
- ☆14Dec 1, 2020Updated 5 years ago
- Collection of Spectre-type, Meltdown-type and MDS-type PoCs☆10Aug 25, 2020Updated 5 years ago
- A Scala 3, lightweight and functional non-intrusive library to build typed and declarative Scala application with managed resources and d…☆12Mar 16, 2025Updated 11 months ago
- 我的小窝, 装修全纪录☆11Apr 19, 2021Updated 4 years ago
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated 10 months ago
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago