Solutions to "Introduction to Models of Computation" of Nanjing University
☆61May 14, 2018Updated 8 years ago
Alternatives and similar repositories for NJU-TOC-Solutions
Users that are interested in NJU-TOC-Solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 南京大学宋方敏《计算模型导引》题解☆140Mar 25, 2022Updated 4 years ago
- Nanjing University Advanced Machine Learning Review☆32Jun 11, 2025Updated last year
- Codes for "EDG-based Question Decomposition for Complex Question Answering over Knowledge Bases"☆13Nov 12, 2021Updated 4 years ago
- 利用Selenium库每隔5分钟爬取学校电费查询网站的数据，检测导师办公室电费使用情况，判断导师是否来学校。☆19Mar 21, 2021Updated 5 years ago
- A Simple CPP Static Analysis Framework☆20Jun 16, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Jan 24, 2015Updated 11 years ago
- ☆18Apr 7, 2018Updated 8 years ago
- 南京大学学位论文(本科/硕士/博士)，毕业论文LaTeX模板☆372Jan 14, 2026Updated 9 months ago
- 面向教学的蒙特卡洛路径追踪（Monte Carlo Path Tracing）渲染框架☆74Apr 16, 2026Updated 6 months ago
- ☆70Jun 8, 2020Updated 6 years ago
- 南京大学山寨毕业论文模版☆142Jan 16, 2019Updated 7 years ago
- NJUCS成长手册，网址: njucs.top☆46Feb 24, 2023Updated 3 years ago
- 南京大学分布式系统Raft算法最简实现☆38Jan 3, 2022Updated 4 years ago
- 南京大学学位论文模板☆713Jun 11, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lean 4 framework for reasoning about Triton-style kernels.☆30Updated this week
- A simple concurrent queue using std::mutex and std::condition_variable in C++ 11☆16May 12, 2024Updated 2 years ago
- 南京大学计算机实验室安全测试脚本（含题库），NJU安全测试题库☆20Oct 8, 2025Updated last year
- 南京大学计算机系数理逻辑课程资料☆79Jun 25, 2019Updated 7 years ago
- A simple Paxos implementation in C++☆12May 29, 2013Updated 13 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆37Dec 16, 2021Updated 4 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 2025Updated last year
- Github Actions: 完成每日健康填报打卡，So easy☆66Mar 24, 2022Updated 4 years ago
- 南哪充电 —— 南京大学 (Nanjing Univerisity) 校内充电站监测系统☆35Feb 28, 2026Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 印刷术！☆23Mar 17, 2024Updated 2 years ago
- ☆30May 23, 2022Updated 4 years ago
- Tai-e assignments for static program analysis☆1,239Aug 28, 2025Updated last year
- The implementation of Revealing the Parallel Multilingual Learning within Large Language Models (EMNLP Main 2024).☆13Oct 8, 2024Updated 2 years ago
- Assignments for courses of MapReduce☆30Oct 29, 2022Updated 4 years ago
- ☆47Aug 3, 2026Updated 3 months ago
- ☆12Apr 12, 2024Updated 2 years ago
- Tutorials given as one of the TAs for the class "Algorithm Design and Analysis" at Nanjing University☆39Jul 11, 2019Updated 7 years ago
- 南京大学学位论文XeLaTeX模板☆441Mar 23, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆10Oct 17, 2020Updated 6 years ago
- ☆67May 30, 2021Updated 5 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆14Jul 27, 2025Updated last year
- ☆93Aug 17, 2021Updated 5 years ago
- Code for our WSDM 2022 paper. CLOCQ is a framework which allows efficient access to knowledge bases (KB) for functionalities related to q…☆16Mar 15, 2023Updated 3 years ago
- ☆14Sep 12, 2024Updated 2 years ago
- ☆13Nov 20, 2024Updated last year