CS161 / chickadeeLinks
Chickadee OS for Harvard CS 161
☆98Updated 11 months ago
Alternatives and similar repositories for chickadee
Users that are interested in chickadee are comparing it to the libraries listed below
Sorting:
- Mirror of the official Barrelfish OS repository.☆218Updated 3 years ago
- POSIX-like scalable multicore research OS kernel☆197Updated 5 years ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆300Updated 3 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆124Updated last year
- ☆187Updated 5 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆148Updated 5 years ago
- Nautilus Aerokernel☆48Updated 3 years ago
- Generic model checker for concurrent C programs (mirror repository)☆182Updated last month
- A component-based OS☆196Updated last week
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆284Updated last week
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Updated 5 years ago
- ☆30Updated 4 years ago
- Commentary for xv6-public☆265Updated 5 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Updated 9 years ago
- A simple example of how LLVM can be used to gather static or dynamic facts about a program.☆73Updated last week
- Example code for compilers textbook.☆203Updated 3 years ago
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Updated 5 years ago
- LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)☆267Updated 3 years ago
- ☆33Updated 3 years ago
- FSCQ is a certified file system written and proven in Coq☆250Updated 3 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆125Updated 5 years ago
- Code examples for tutoring modern C++☆99Updated 5 months ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆152Updated 5 months ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- ☆209Updated 3 years ago
- Verifying concurrent storage and distributed systems☆210Updated this week
- A quick tutorial on how to implement malloc/free/calloc/realloc☆176Updated 6 years ago
- Verifying concurrent code with layers and movers☆13Updated 5 years ago
- Yizhou' Homepage☆53Updated 2 weeks ago