Alternatives and similar repositories for MathNotes

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

• sleepycoke / Mathematical_Logic_NJUCS
  南京大学计算机系数理逻辑课程资料
  ☆82Updated 6 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
• NJU-SICP / OnlineJudge
  SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.
  ☆12Updated 2 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆130Updated 6 years ago
• massimodong / compilers-tests
  ☆68Updated 5 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆242Updated 4 years ago
• courses-at-nju-by-hfwei / problem-solving-class-lectures
  Lectures for the "Problem Solving" Class at Nanjing University.
  ☆26Updated 5 years ago
• FluorineDog / hust-pa
  a mirror of NJU PA
  ☆11Updated 5 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆46Updated 5 years ago
• chyyuu / compiler_course_info
  compiler course info
  ☆249Updated last year
• thu-cs-lab / Router-Lab
  Lab for Network Principles since 2019-2020 fall
  ☆173Updated 8 months ago
• courses-at-nju-by-hfwei / problem-solving-class-problems
  Problem Sets for Problem Solving Class
  ☆14Updated 5 years ago
• AllenWrong / Self-learning-Record
  ☆159Updated 3 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆196Updated 2 years ago
• LadderOperator / PedagogySquareAsistant
  简单粗暴的教学立方辅助Chrome插件
  ☆46Updated 4 years ago
• ZLCao / NJUBachelor
  南京大学本科毕业论文Latex模板
  ☆49Updated 6 years ago
• nju-lug / NJUVisual
  实现南京大学标准配色方案和标识
  ☆27Updated 2 years ago
• oscourse-tsinghua / LoongsonCsprj2017-manual
  基于龙芯FPGA开发板的计算机综合系统实验
  ☆25Updated 6 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 7 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 5 months ago
• zhangboyang / NEMU-public
  public version of zby's ics program-assignment (NJU ics2015 PA)
  ☆26Updated 8 years ago
• No-SF-Work / ayame
  A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.
  ☆64Updated 4 years ago
• stardust95 / TinyCompiler
  c compiler based on flex(lex), bison(yacc) and LLVM, supports LLVM IR and obj code generation. 基于flex，bison以及LLVM，使用c++11实现的类C语法编译器, 支持生成…
  ☆256Updated 8 years ago
• wuzhengyi / NJU-Compiler-Principle
  南京大学 编译原理 作业 151220129 计科 吴政亿
  ☆81Updated 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
  ☆39Updated 6 years ago
• jinhang1997 / Q-A-for-PA-2018
  PA2018常见问题解答（持续更新，更新频率1-2天/次），欢迎star
  ☆31Updated 7 years ago
• courses-at-nju-by-hfwei / discrete-math-lectures
  Lectures on Discrete Mathematics @ software.nju.edu.cn
  ☆23Updated 3 years ago
• nju-icpc / code-library-legacy
  Standard Code Library for Nanjing University ACM/ICPC Team
  ☆59Updated 7 years ago
• Liurunda / riscv64-ucore
  public repository for 2020 operating system course project "riscv64-ucore"
  ☆23Updated 5 years ago
• FengChendian / NJUThesis2021
  A LATEX template of NJU Thesis 2021 Version 南京大学本科生毕业论文LaTex模板 2021版
  ☆106Updated 3 years ago