Alternatives and similar repositories for chickadee:

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

• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)
  ☆69Updated 3 years ago
• uw-unsat / yggdrasil
  ☆31Updated 3 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆288Updated 2 years ago
• uw-unsat / hyperkernel
  ☆182Updated 5 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 …
  ☆139Updated 4 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆189Updated 5 years ago
• Babtsov / jos
  Detailed solutions to assignments of MIT's Operating Systems Engineering course
  ☆52Updated 11 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆147Updated last week
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆117Updated 6 months ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆190Updated 2 years ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆118Updated 4 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆53Updated 2 weeks ago
• skyzh / mips-simulator
  💻 A 5-stage pipeline MIPS CPU design in Haskell.
  ☆36Updated 4 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated 4 months ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆168Updated 4 years ago
• project-dune / dune
  ☆199Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆123Updated 2 years ago
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆14Updated 8 years ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆70Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• gwsystems / composite
  A component-based OS
  ☆189Updated 2 months ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• a-darwish / cuteOS-references
  Documentation, references, and collected academic research for the cuteOS Kernel.
  ☆38Updated 9 years ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆257Updated 4 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• rems-project / rmem
  rmem public repo
  ☆41Updated 3 weeks ago
• rui314 / psabi
  ☆58Updated 2 years ago
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆239Updated 2 years ago