Alternatives and similar repositories for ncc-tools

Users that are interested in ncc-tools are comparing it to the libraries listed below

• courses-at-nju-by-hfwei / problem-solving-class-problems
  Problem Sets for Problem Solving Class
  ☆15Updated 5 years ago
• massimodong / compilers-tests
  ☆68Updated 5 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆133Updated 6 years ago
• sleepycoke / Mathematical_Logic_NJUCS
  南京大学计算机系数理逻辑课程资料
  ☆82Updated 6 years ago
• FengChendian / NJUThesis2021
  A LATEX template of NJU Thesis 2021 Version 南京大学本科生毕业论文LaTex模板 2021版
  ☆106Updated 3 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 6 months ago
• zhangt2333 / actions-NjuHealthReport
  Github Actions: 完成每日健康填报打卡，So easy
  ☆66Updated 3 years ago
• jiangyy / NJU-TOC-Solutions
  Solutions to "Introduction to Models of Computation" of Nanjing University
  ☆62Updated 7 years ago
• courses-at-nju-by-hfwei / problem-solving-class-lectures
  Lectures for the "Problem Solving" Class at Nanjing University.
  ☆27Updated 5 years ago
• nju-lug / NJUVisual
  实现南京大学标准配色方案和标识
  ☆27Updated 2 years ago
• suliuzh123 / Compiler2019
  ☆13Updated 5 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 8 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆196Updated 2 years ago
• QinlinChen / MathNotes
  Some undergraduate math notes
  ☆17Updated 4 years ago
• LadderOperator / PedagogySquareAsistant
  简单粗暴的教学立方辅助Chrome插件
  ☆46Updated 4 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 9 months ago
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆66Updated 2 months ago
• chenyxuan / PintOS
  system 2019 project
  ☆14Updated 5 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆243Updated 4 years ago
• YuantianDing / HilbertProver
  An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
  ☆11Updated 8 months ago
• Engineev / ravel
  A RISC-V simulator
  ☆36Updated 2 years ago
• courses-at-nju-by-hfwei / algorithm-ta-tutorial
  Tutorials given as one of the TAs for the class "Algorithm Design and Analysis" at Nanjing University
  ☆39Updated 6 years ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated 2 years ago
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆158Updated 2 weeks ago
• EricZhu-42 / PedagogySquare_Downloader
  南京大学 (Nanjing University) 在线教学平台 —— 教学立方的课件批量下载工具，基于Python + Requests.
  ☆171Updated 7 months ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆59Updated 6 months ago
• nju-lug / NJUThesis
  南京大学学位论文模板
  ☆568Updated last month
• No-SF-Work / ayame
  A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.
  ☆64Updated 4 years ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆144Updated 4 years ago