Alternatives and similar repositories for MathNotes

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

• FluorineDog / hust-pa
  a mirror of NJU PA
  ☆11Updated 6 years ago
• NJU-SICP / OnlineJudge
  SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.
  ☆12Updated 3 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆136Updated 6 years ago
• chyyuu / compiler_course_info
  compiler course info
  ☆251Updated 2 years ago
• sleepycoke / Mathematical_Logic_NJUCS
  南京大学计算机系数理逻辑课程资料
  ☆82Updated 6 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆245Updated 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…
  ☆16Updated 5 years ago
• AllenWrong / Self-learning-Record
  ☆161Updated 3 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆50Updated 5 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆204Updated 2 years ago
• thu-cs-lab / Router-Lab
  Lab for Network Principles since 2019-2020 fall
  ☆175Updated 2 months ago
• chyyuu / ucore_pub
  the ucore os protal
  ☆45Updated 13 years ago
• nju-lug / NJUVisual
  实现南京大学标准配色方案和标识
  ☆29Updated 3 years ago
• arcsysu / SYsU-lang
  A mini, simple and modular compiler for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.
  ☆220Updated last year
• massimodong / compilers-tests
  ☆68Updated 5 years ago
• Anarion-zuo / Stanford-CS143
  ☆60Updated 5 years ago
• zhangboyang / NEMU-public
  public version of zby's ics program-assignment (NJU ics2015 PA)
  ☆27Updated 9 years ago
• Trinkle23897 / os2019
  操作系统 2019 ucore labs
  ☆47Updated 6 years ago
• oscomp / seminar0-20201226
  ☆11Updated 4 years ago
• Halbmond / Introduction-to-Computer-Systems
  Course : Introduction to Computer Systems
  ☆232Updated 6 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆211Updated 9 months ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆146Updated 4 years ago
• courses-at-nju-by-hfwei / discrete-math-lectures
  Lectures on Discrete Mathematics @ software.nju.edu.cn
  ☆24Updated 3 years ago
• Hoblovski / course-notes
  Personal course notes (in Chinese) for THU CST.
  ☆13Updated 7 years ago
• courses-at-nju-by-hfwei / problem-solving-class-lectures
  Lectures for the "Problem Solving" Class at Nanjing University.
  ☆28Updated 5 years ago
• oscourse-tsinghua / LoongsonCsprj2017-manual
  基于龙芯FPGA开发板的计算机综合系统实验
  ☆26Updated 7 years ago
• Seterplus / CSAPP
  CSAPP Labs
  ☆100Updated 9 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆63Updated 10 months ago
• chyyuu / compiler_lab
  Some toy labs for compiler course
  ☆59Updated 3 years ago
• hzqmwne / Compilers
  SJTU SE302 编译原理与技术 Tiger编译器
  ☆43Updated 7 years ago