Alternatives and similar repositories for chickadee

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

• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆118Updated 8 months ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆119Updated 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.
  ☆66Updated 4 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 …
  ☆142Updated 4 years ago
• brown-cs1690 / handout
  All handouts will be here
  ☆27Updated 2 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆206Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆127Updated 3 years ago
• eliben / luz-cpu
  Educational open-source CPU suite (with assembler, linker and simulator)
  ☆173Updated last year
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆179Updated 2 years ago
• uw-unsat / yggdrasil
  ☆32Updated 3 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆292Updated 2 years ago
• gotoco / dummyfs
  Simple Linux Filesystem designed for learning purposes
  ☆32Updated 7 years ago
• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)
  ☆68Updated 3 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆151Updated 2 months ago
• rpendleton / lc3-2048
  implementation of git.io/2048 written in LC-3 assembly, an educational computer architecture
  ☆86Updated 3 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆191Updated 5 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆133Updated 4 years ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆69Updated last year
• dddrrreee / cs140e-win19
  cs140e winter 2019 class materials.
  ☆138Updated 5 years ago
• project-dune / dune
  ☆202Updated 3 years ago
• perfwiki / main
  perf: Linux profiling with performance counters
  ☆46Updated 2 weeks ago
• brenns10 / sos
  Home-made almost operating system
  ☆137Updated 2 years ago
• thibault-reigner / userland_slab
  Small implementation in C of a slab allocator in user space
  ☆37Updated last year
• swetland / xv6
  64bit port of xv6
  ☆130Updated 5 years ago
• vijay03 / cs378-f19
  Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept
  ☆41Updated 5 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆60Updated last month
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 3 weeks ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆256Updated this week