Alternatives and similar repositories for chickadee

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

• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆218Updated 3 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆197Updated 5 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆300Updated 3 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆124Updated last year
• uw-unsat / hyperkernel
  ☆187Updated 5 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 …
  ☆148Updated 5 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆48Updated 3 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆182Updated last month
• gwsystems / composite
  A component-based OS
  ☆196Updated last week
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆284Updated last week
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆65Updated 5 years ago
• mit-pdos / ward
  ☆30Updated 4 years ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆265Updated 5 years ago
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆16Updated 9 years ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆73Updated last week
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆203Updated 3 years ago
• skyzh / mips-simulator
  💻 A 5-stage pipeline MIPS CPU design in Haskell.
  ☆36Updated 5 years ago
• ghaiklor / llvm-kaleidoscope
  LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
  ☆267Updated 3 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆250Updated 3 years ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆125Updated 5 years ago
• banach-space / cpp-tutor
  Code examples for tutoring modern C++
  ☆99Updated 5 months ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆152Updated 5 months ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆113Updated 5 years ago
• project-dune / dune
  ☆209Updated 3 years ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆210Updated this week
• danluu / malloc-tutorial
  A quick tutorial on how to implement malloc/free/calloc/realloc
  ☆176Updated 6 years ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆13Updated 5 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆53Updated 2 weeks ago