Alternatives and similar repositories for COD-Resources-2017

Users that are interested in COD-Resources-2017 are comparing it to the libraries listed below

• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆211Updated 4 months ago
• oscomp / proj226-tangram-kernel-components-frameworks
  基于组件化设计的思路，用Rust语言的丰富语言特征，设计实现不同功能的独立操作系统内核模块和操作系统框架，可形成不同特征/形态/架构的操作系统内核
  ☆9Updated 3 months ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 3 years ago
• MaxXSoft / GeeOS
  The Gee (寂) Operating System, written in YuLang.
  ☆34Updated 4 years ago
• ChinaNuke / llvm-pass
  国科大编译作业二：LLVM Pass处理函数调用
  ☆17Updated 3 years ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆138Updated 3 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 5 months ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆244Updated 4 years ago
• HITSZ-CDP / cdp-tests
  《计算机设计与实践》测试框架
  ☆18Updated 3 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆194Updated 2 years ago
• YAVGroup / Verilog-OJ
  Online judge server for Verilog | verilogoj.ustc.edu.cn
  ☆80Updated last year
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆59Updated 5 months ago
• plctlab / weloveinterns
  PLCT实验室实习生社区。
  ☆264Updated this week
• storage-db / ToolDiy
  一本工具指南和开箱即用配置，旨在让大家选用和上手合适的工具。
  ☆156Updated 2 years ago
• JM233333 / data-structure-visualizer
  A desktop application that provides visualization of basic algorithms and data structures. Implemented with JavaFX.
  ☆12Updated 2 years ago
• chenzhiy2001 / code-debug
  Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…
  ☆38Updated 3 months ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• yuxguo / USTC-ComputerArchitecture-2020S
  Code for "Computer Architecture" in 2020 Spring.
  ☆28Updated 5 years ago
• zzh1996 / ustccas-revproxy
  支持 USTC 统一身份认证系统鉴权的反向代理，让你的网站只有科大人可以访问
  ☆25Updated 4 years ago
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 3 years ago
• DaviesGit / SysY_compiler
  该编译器主要用来将SysY语言编译为arm汇编指令，并且对编译生成的代码进行优化。SysY 语言是 C 语言的一个子集。每个 SysY程序的源码存储在一个扩展名为 sy 的文件中。该文件中有且仅有一个名为 main的主函数定义,还可以包含若干全局变量声明、常量声明和其他函数…
  ☆68Updated 3 years ago
• cyyself / cemu
  A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education …
  ☆117Updated 8 months ago
• wzkMaster / WHU-SIM-Life-Saver
  一份写给WHU信管院同学的学习指南，包括课程资料清单和学长学姐的经验分享。
  ☆11Updated last year
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• oscomp / os-competition-info
  "全国大学生操作系统比赛2025"相关信息
  ☆279Updated 2 weeks ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆39Updated 3 years ago
• USTC-vlab / docs
  USTC Vlab 远程教学云桌面平台的使用文档
  ☆46Updated 2 months ago
• z4yx / supervisor-mips32
  计算机组成原理课程32位监控程序
  ☆49Updated 5 years ago
• lbwang / CINTA-cn
  一本数论、代数与算法的入门讲义.
  ☆78Updated 2 months ago
• sukrutrao / SAT-Solver-DPLL
  A simple SAT solver that implements the DPLL algorithm with unit resolution
  ☆45Updated 5 years ago