Alternatives and similar repositories for codesim:

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

• StardustDL / raft-impl
  A demo 1-to-1 implementation with high availability in Golang for Raft, based on 6.824's raft labs. (NJU dissys course's lab code)
  ☆13Updated 3 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆202Updated 2 years ago
• RalXYZ / cc99
  C-like language compiler, the final project of ZJU Compiler Principle course
  ☆42Updated 2 years ago
• permui / calocom
  An awesome language and its compiler.
  ☆33Updated 2 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆168Updated last year
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆137Updated 7 months ago
• NJU-SICP / OnlineJudge
  SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.
  ☆11Updated 2 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆24Updated last month
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆109Updated 2 months ago
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆23Updated last year
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• tusikalanse / magic-in-ten-mins-cpp
  ☆77Updated 4 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆43Updated 4 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
• ustb-owl / MimiC
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆58Updated 2 years ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆31Updated 3 weeks ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆48Updated 2 weeks ago
• yjl9903 / XLang
  A Simple Programming Language powered by XLex and XParse
  ☆12Updated last year
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆52Updated last week
• Chocopy-LLVM / chocopy-llvm
  A repo to store the compiler project
  ☆74Updated 2 years ago
• ftiasch / ccpc-final-2020
  ☆30Updated 11 months ago
• howardlau1999 / autograder-server
  ☆23Updated 10 months ago
• nju-lug / NJUVisual
  实现南京大学标准配色方案和标识
  ☆26Updated 2 years ago
• yukiiiteru / DailySchedule_2020
  OS Tutorial Summer of Code 2020
  ☆19Updated 2 years ago
• nekkomoe / YYACC
  Yet Yet Another Compiler Compiler | 一个编译器前端框架
  ☆17Updated 10 months ago
• courses-at-nju-by-hfwei / compilers-papers-we-love
  Papers We Love on Compilers
  ☆29Updated 2 months ago
• ftiasch / icpc-camp-wiki
  ☆64Updated 4 years ago
• ZJU-Automated-Reasoning-Group / canary
  A unification-based alias analysis and related tools
  ☆9Updated 2 months ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago