CS161 / chickadeeLinks
Chickadee OS for Harvard CS 161
☆95Updated 7 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.☆293Updated 3 years ago
- Mirror of the official Barrelfish OS repository.☆209Updated 2 years ago
- POSIX-like scalable multicore research OS kernel☆192Updated 5 years ago
- Example code for compilers textbook.☆192Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆157Updated 2 weeks ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 5 years ago
- ☆33Updated 3 years ago
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Updated 4 years ago
- A component-based OS☆191Updated 6 months ago
- ☆185Updated 5 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆119Updated 10 months ago
- Commentary for xv6-public☆262Updated 5 years ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆266Updated this week
- ☆30Updated 3 years ago
- A simple example of how LLVM can be used to gather static or dynamic facts about a program.☆71Updated 2 months ago
- Educational open-source CPU suite (with assembler, linker and simulator)☆175Updated last year
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 5 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆121Updated 5 years ago
- VeriBetrKV OSDI'20 artifact☆11Updated 4 years ago
- Experimental kernel with built-in replication.☆160Updated last month
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆62Updated 3 months ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆89Updated 2 weeks ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- CS 704 course website - Principles of Programming Languages☆68Updated 2 years ago
- Verifying concurrent crash-safe systems☆199Updated this week
- LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)☆264Updated 2 years ago
- simple snapshot-style integration testing for commands☆71Updated 2 months ago
- FSCQ is a certified file system written and proven in Coq☆248Updated 2 years ago
- ☆69Updated 2 years ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆148Updated last month