CS161 / chickadeeLinks
Chickadee OS for Harvard CS 161
☆101Updated 10 months ago
Alternatives and similar repositories for chickadee
Users that are interested in chickadee are comparing it to the libraries listed below
Sorting:
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆299Updated 3 years ago
- Mirror of the official Barrelfish OS repository.☆217Updated 3 years ago
- POSIX-like scalable multicore research OS kernel☆197Updated 5 years ago
- ☆186Updated 5 years ago
- A component-based OS☆195Updated 9 months ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆283Updated this 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
- Generic model checker for concurrent C programs (mirror repository)☆163Updated last week
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆146Updated 5 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆124Updated last year
- ☆30Updated 3 years ago
- ☆33Updated 3 years ago
- Commentary for xv6-public☆264Updated 5 years ago
- A simple example of how LLVM can be used to gather static or dynamic facts about a program.☆73Updated 5 months ago
- RISC-V instruction set simulator built for education☆219Updated 3 years ago
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆35Updated 5 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Updated 9 years ago
- FSCQ is a certified file system written and proven in Coq☆250Updated 3 years ago
- Big List of ABI Resources☆52Updated last year
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆125Updated 5 years ago
- Example code for compilers textbook.☆199Updated 3 years ago
- Awesome links and information about memory allocation☆181Updated 6 years ago
- Educational open-source CPU suite (with assembler, linker and simulator)☆177Updated last year
- RedLeaf Operating System☆136Updated 3 years ago
- Fork of LLVM adding CHERI support☆58Updated this week
- RISC-V instruction set simulator built for education☆160Updated 3 years ago
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆66Updated 5 years ago
- 64bit port of xv6☆136Updated 6 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 6 years ago
- Reference implementation for the book "Writing a RISC-V Emulator in Rust".☆410Updated 3 years ago