CS161 / chickadeeLinks
Chickadee OS for Harvard CS 161
☆95Updated 4 months ago
Alternatives and similar repositories for chickadee
Users that are interested in chickadee are comparing it to the libraries listed below
Sorting:
- ☆31Updated 3 years ago
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆66Updated 4 years ago
- Generic model checker for concurrent C programs (mirror repository)☆150Updated last month
- ☆183Updated 5 years ago
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- Yizhou' Homepage☆47Updated this week
- ☆30Updated 3 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆118Updated 7 months ago
- The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)☆68Updated 3 years ago
- Mirror of the official Barrelfish OS repository.☆198Updated 2 years ago
- RedLeaf Operating System☆124Updated 3 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆141Updated 4 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆119Updated 4 years ago
- ☆58Updated 2 years ago
- Lab assignments for 6.826☆15Updated 4 years ago
- Documentation, references, and collected academic research for the cuteOS Kernel.☆39Updated 9 years ago
- ☆137Updated 2 years ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆290Updated 2 years ago
- Commentary for xv6-public☆260Updated 4 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆14Updated 9 years ago
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 4 years ago
- 64bit port of xv6☆130Updated 5 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆12Updated last week
- A simple example of how LLVM can be used to gather static or dynamic facts about a program.☆70Updated last year
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- Verifying concurrent crash-safe systems☆180Updated this week
- ☆200Updated 3 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆59Updated 3 weeks ago
- Experimental kernel with built-in replication.☆157Updated last year
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆67Updated 4 years ago