MaZhengg / NKUthesisView external linksLinks
南开大学毕业论文LaTeX模板
☆13Mar 4, 2019Updated 6 years ago
Alternatives and similar repositories for NKUthesis
Users that are interested in NKUthesis are comparing it to the libraries listed below
Sorting:
- Education assistant for Nankai University☆31Jan 19, 2019Updated 7 years ago
- python 实现sift算法☆18Mar 15, 2018Updated 7 years ago
- Resources accompanying the "Zero-Shot Recommendation as Language Modeling" paper (ECIR2022)☆14May 25, 2023Updated 2 years ago
- Small PDF manipulation scripts☆15Apr 16, 2025Updated 9 months ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 15, 2024Updated last year
- Full guide of 6.828 OS Lab☆15Aug 29, 2020Updated 5 years ago
- 南开大学 大数据计算及应用; NKU Big Data☆11Sep 8, 2023Updated 2 years ago
- Official source code for RepPad (RecSys 2024) and RepPad-ENS☆14Jul 23, 2025Updated 6 months ago
- A similarity measurer on two programming assignments on Online Judge.☆10Jan 6, 2023Updated 3 years ago
- Implementation of SIGIR'25 accepted paper, focusing on social denoising recommendation☆13Apr 8, 2025Updated 10 months ago
- What do you want to eat today?☆14Nov 4, 2020Updated 5 years ago
- Benchmarking Suite for BDD packages☆22Jan 30, 2026Updated 2 weeks ago
- ☆15Jul 24, 2024Updated last year
- Pytorch realization for "Reverse Attention for Salient Object Detection": ECCV2018.☆14Jan 1, 2019Updated 7 years ago
- 南开计算机学院本科生毕设模板 根据硕士/博士模板修改而来☆14Jun 11, 2021Updated 4 years ago
- PyTorch implementations of Self-Supervised Learning Method☆13Feb 9, 2023Updated 3 years ago
- Some C++ code to implement canny edge detector☆12Jul 4, 2021Updated 4 years ago
- Nankai Online Judge Backend☆14Dec 9, 2022Updated 3 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- Frama-C plugins for deadlock and data race detection☆14Nov 12, 2025Updated 3 months ago
- ☆15Dec 10, 2023Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- A system for programming formally-verified loop transformations.☆16Jan 31, 2019Updated 7 years ago
- A Multitask Parallel Executor for ns-3 (network simulator).☆17Nov 12, 2025Updated 3 months ago
- Campus App for Nankai University☆16Dec 20, 2017Updated 8 years ago
- Docker 学习文档☆14Mar 28, 2019Updated 6 years ago
- OS Tutorial Summer of Code 2020☆19Jun 7, 2022Updated 3 years ago
- Verimag Polyhedra Library☆19Apr 11, 2025Updated 10 months ago
- Stable sort algorithms and their stability proofs in Rocq☆25Dec 10, 2025Updated 2 months ago
- A graceful, powerful and easy-to-use tool to see old (including deleted) tweets.☆21Sep 7, 2025Updated 5 months ago
- A collection of user models and parameter estimation methods.☆22May 3, 2023Updated 2 years ago
- ☆22Feb 13, 2024Updated 2 years ago
- Lectures for the "Problem Solving" Class at Nanjing University.☆28Jun 29, 2020Updated 5 years ago
- Bug detection framework for finding Finger tracable bugs in Linux☆20Mar 23, 2025Updated 10 months ago
- Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validati…☆32Dec 20, 2025Updated last month
- 南开大学计算机学院“编译系统原理”课程作业。☆13Dec 10, 2019Updated 6 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆31Jul 23, 2025Updated 6 months ago
- ZJU AI courses lab☆18Jun 27, 2021Updated 4 years ago
- Coq code formatter☆24Jan 22, 2026Updated 3 weeks ago