QinlinChen / MathNotesLinks
Some undergraduate math notes
☆17Updated 4 years ago
Alternatives and similar repositories for MathNotes
Users that are interested in MathNotes are comparing it to the libraries listed below
Sorting:
- 南京大学计算机系数理逻辑课程资料☆82Updated 6 years ago
- 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
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Updated 2 years ago
- 南京大学山寨毕业论文模版☆130Updated 6 years ago
- ☆68Updated 5 years ago
- 全国大学生计算机系统能力大赛编译系统设计赛项目☆242Updated 4 years ago
- Lectures for the "Problem Solving" Class at Nanjing University.☆26Updated 5 years ago
- a mirror of NJU PA☆11Updated 5 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆46Updated 5 years ago
- compiler course info☆249Updated last year
- Lab for Network Principles since 2019-2020 fall☆173Updated 8 months ago
- Problem Sets for Problem Solving Class☆14Updated 5 years ago
- ☆159Updated 3 years ago
- The MOSAIC Operating Systems Model and Checker☆196Updated 2 years ago
- 简单粗暴的教学立方辅助Chrome插件☆46Updated 4 years ago
- 南京大学本科毕业论文Latex模板☆49Updated 6 years ago
- 实现南京大学标准配色方案和标识☆27Updated 2 years ago
- 基于龙芯FPGA开发板的计算机综合系统实验☆25Updated 6 years ago
- An optimizing compiler targeting armv7 and risc-v32☆61Updated 7 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆212Updated 5 months ago
- public version of zby's ics program-assignment (NJU ics2015 PA)☆26Updated 8 years ago
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆64Updated 4 years ago
- 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
- 南京大学 编译原理 作业 151220129 计科 吴政亿☆81Updated 7 years ago
- Tutorials given as one of the TAs for the class "Algorithm Design and Analysis" at Nanjing University☆39Updated 6 years ago
- PA2018常见问题解答(持续更新,更新频率1-2天/次),欢迎star☆31Updated 7 years ago
- Lectures on Discrete Mathematics @ software.nju.edu.cn☆23Updated 3 years ago
- Standard Code Library for Nanjing University ACM/ICPC Team☆59Updated 7 years ago
- public repository for 2020 operating system course project "riscv64-ucore"☆23Updated 5 years ago
- A LATEX template of NJU Thesis 2021 Version 南京大学本科生毕业论文LaTex模板 2021版☆106Updated 3 years ago