Alternatives and similar repositories for chickadee:

Users that are interested in chickadee are comparing it to the libraries listed below

• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆188Updated 4 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆287Updated 2 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆115Updated 5 months ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆117Updated 4 years ago
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆67Updated 4 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆144Updated last month
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆104Updated 9 years ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆139Updated 4 years ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆257Updated 4 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆13Updated 4 years ago
• swetland / xv6
  64bit port of xv6
  ☆127Updated 5 years ago
• project-dune / dune
  ☆199Updated 2 years ago
• mit-pdos / xv6-riscv-fall19
  6.S081/6.828 lab repo for fall 2019
  ☆208Updated 3 years ago
• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)
  ☆70Updated 3 years ago
• uchicago-cs / chidb
  ☆66Updated 2 years ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆174Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆122Updated 2 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆181Updated 2 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated 2 weeks ago
• Babtsov / jos
  Detailed solutions to assignments of MIT's Operating Systems Engineering course
  ☆51Updated 10 months ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆177Updated last year
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆13Updated 8 years ago
• eliben / luz-cpu
  Educational open-source CPU suite (with assembler, linker and simulator)
  ☆170Updated 10 months ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• levex / debugger-talk
  Let's write a Debugger!
  ☆30Updated 7 years ago
• gwsystems / composite
  A component-based OS
  ☆189Updated last month
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆65Updated 4 years ago
• ethanhe42 / Modern-Compiler-Implementation-in-C
  book and codes for Modern Compiler Implementation in C
  ☆374Updated 10 months ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆133Updated 4 years ago