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
  ☆192Updated 5 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆293Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆209Updated 2 years ago
• gwsystems / composite
  A component-based OS
  ☆190Updated 7 months ago
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆65Updated 4 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated last month
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆119Updated 11 months ago
• skyzh / mips-simulator
  💻 A 5-stage pipeline MIPS CPU design in Haskell.
  ☆36Updated 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 …
  ☆142Updated 5 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆46Updated 3 years ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆268Updated this week
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆71Updated 2 months ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆193Updated 2 years ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆264Updated 5 years ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆122Updated 5 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 3 months 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)
  ☆62Updated 4 months ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 2 months ago
• ghaiklor / llvm-kaleidoscope
  LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
  ☆264Updated 2 years ago
• lenary / abis
  Big List of ABI Resources
  ☆47Updated last year
• mars-research / redleaf
  RedLeaf Operating System
  ☆133Updated 3 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆210Updated 5 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆16Updated 4 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆51Updated last month
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆362Updated 5 years ago
• swetland / xv6
  64bit port of xv6
  ☆133Updated 5 years ago