Alternatives and similar repositories for Dragon:

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

• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆203Updated 2 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆101Updated last year
• SJTU-CSE / courses-icu
  CSE课程学习方法搜集
  ☆21Updated 4 years ago
• bluesadi / Tai-e-solutions
  My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html
  ☆47Updated 2 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 2 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆52Updated last month
• GeeeekExplorer / NJU-DisSys
  南京大学分布式系统Raft算法最简实现
  ☆31Updated 3 years ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆28Updated 2 years ago
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆96Updated this week
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆167Updated last year
• skyzluo / CS143-Compilers-Stanford
  My solutions to the programming assignments of the Stanford Compiler course.
  ☆360Updated 10 years ago
• Artisan-Lab / SafeDrop
  A additional Rust compiler pass to detect memory safe bugs of Rust programs.
  ☆15Updated last year
• namasikanam / raft-spin
  A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
  ☆15Updated 3 years ago
• pku-minic / compiler-dev-test-cases
  Local test cases for SysY compilers, used by compiler-dev.
  ☆20Updated 2 years ago
• mayasankar / 6035-compiler
  Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.
  ☆12Updated 6 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆22Updated 3 weeks ago
• eecsmap / ca.sfu.cmpt379.2022.fall.resource
  ☆32Updated last year
• ZhenbangYou / Computer-Systems-Learning-Resources-A-Recommended-List
  ☆59Updated 11 months ago
• LearningOS / os_kernel_lab
  os kernel labs for operating systems course in Tsinghua University.
  ☆31Updated 2 years ago
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆47Updated 3 years ago
• sleepycoke / Mathematical_Logic_NJUCS
  南京大学计算机系数理逻辑课程资料
  ☆79Updated 5 years ago
• FelixZhang00 / mit6858-lab
  mit 6.858 Computer Systems Security
  ☆17Updated 7 years ago
• zhenghaoz / ucore
  uCore Operating System Lab
  ☆48Updated 7 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆20Updated 4 months ago
• ZJU-SEC / Readings
  ☆60Updated 2 years ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆40Updated 3 years ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆15Updated 4 years ago
• PKU-OS / pintos
  The pintos source distribution for PKU Operating System Course projects
  ☆46Updated 6 months ago
• QinlinChen / MathNotes
  Some undergraduate math notes
  ☆17Updated 4 years ago
• PKU-OS / sp22
  Spring 2022 Course Website for Operating System Course at Peking University
  ☆11Updated 2 years ago