Alternatives and similar repositories for ncc-tools:

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

• massimodong / compilers-tests
  ☆66Updated 4 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆123Updated 6 years ago
• NSKernel / Kernel-Play-Guide
  A usage-guided Linux Kernel manual
  ☆9Updated 4 years ago
• courses-at-nju-by-hfwei / problem-solving-class-problems
  Problem Sets for Problem Solving Class
  ☆14Updated 4 years ago
• sleepycoke / Mathematical_Logic_NJUCS
  南京大学计算机系数理逻辑课程资料
  ☆80Updated 5 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆203Updated last week
• QinlinChen / MathNotes
  Some undergraduate math notes
  ☆17Updated 4 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated last month
• nju-icpc / code-library-legacy
  Standard Code Library for Nanjing University ACM/ICPC Team
  ☆56Updated 7 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
  ☆37Updated 5 years ago
• StardustDL / codesim
  A similarity measurer on two programming assignments on Online Judge.
  ☆9Updated 2 years ago
• FengChendian / NJUThesis2021
  A LATEX template of NJU Thesis 2021 Version 南京大学本科生毕业论文LaTex模板 2021版
  ☆106Updated 3 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 2 months ago
• Engineev / ravel
  A RISC-V simulator
  ☆36Updated last year
• alg-nju / intro-disalg-course
  ☆96Updated 4 months ago
• jiangyy / NJU-TOC-Solutions
  Solutions to "Introduction to Models of Computation" of Nanjing University
  ☆63Updated 6 years ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• FP-Analysis / atomic-condition
  ☆21Updated 5 years ago
• StardustDL / generator-oj-problem
  A command-line tool to generate Online-Judge problem.
  ☆12Updated last year
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆172Updated last year
• suliuzh123 / Compiler2019
  ☆13Updated 5 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• LadderOperator / PedagogySquareAsistant
  简单粗暴的教学立方辅助Chrome插件
  ☆46Updated 4 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆52Updated 2 weeks ago
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆55Updated last month
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 2 years ago
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆110Updated last week
• 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