Alternatives and similar repositories for chickadee:

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

• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆137Updated 4 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆137Updated 2 months ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆161Updated 3 years ago
• uw-unsat / hyperkernel
  ☆183Updated 4 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆190Updated 4 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 9 years ago
• Babtsov / jos
  Detailed solutions to assignments of MIT's Operating Systems Engineering course
  ☆51Updated 8 months ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆253Updated 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 …
  ☆134Updated 4 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆112Updated 3 months 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
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆115Updated 4 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆282Updated 2 years ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆230Updated this week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆91Updated 6 years ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆167Updated this week
• rems-project / rmem
  rmem public repo
  ☆41Updated 5 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.
  ☆67Updated 4 years ago
• Booob / P523
  P523 Code
  ☆27Updated 9 years ago
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆28Updated 3 months ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆50Updated this week
• lenary / abis
  Big List of ABI Resources
  ☆37Updated 6 months ago
• eliben / luz-cpu
  Educational open-source CPU suite (with assembler, linker and simulator)
  ☆168Updated 8 months ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆120Updated 2 years ago
• bit-hack / riscv-vm
  A Small RISC-V Virtual Machine
  ☆74Updated 2 years ago
• codeplaysoftware / llvm-leg
  Codeplay's tutorial LLVM LEG backend - as presented at the 2014 LLVM Developers' Meeting in San Jose.
  ☆43Updated 10 years ago