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:
- ☆70Oct 14, 2022Updated 3 years ago
- Repository for Software Security curriculum☆15Apr 19, 2020Updated 6 years ago
- Distributed System, Fall 2017, CS@NJU☆66Jan 5, 2024Updated 2 years ago
- A Simple CPP Static Analysis Framework☆20Jun 16, 2023Updated 3 years ago
- 《计算模型导引》第五章参考答案☆14Jun 18, 2019Updated 7 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.
- ☆18Apr 7, 2018Updated 8 years ago
- 利用Selenium库每隔5分钟爬取学校电费查询网站的数据，检测导师办公室电费使用情况，判断导师是否来学校。☆19Mar 21, 2021Updated 5 years ago
- NJUCS成长手册，网址: njucs.top☆43Feb 24, 2023Updated 3 years ago
- 南京大学学位论文(本科/硕士/博士)，毕业论文LaTeX模板☆371Jan 14, 2026Updated 6 months ago
- 南京大学学位论文模板☆691Jun 11, 2026Updated last month
- 南京大学分布式系统Raft算法最简实现☆39Jan 3, 2022Updated 4 years ago
- Mini Moonbit implementation from 摩卡猫猫☆15Dec 4, 2024Updated last year
- 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
- 南京大学计算机系数理逻辑课程资料☆80Jun 25, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆70Jun 8, 2020Updated 6 years ago
- Github Actions: 完成每日健康填报打卡，So easy☆66Mar 24, 2022Updated 4 years ago
- An easy-to-learn/use static analysis framework for Java and Android☆1,792Jun 28, 2026Updated last month
- Replication package of the ICSE2025 paper titled "Leveraging Large Language Models for Enhancing the Understandability of Generated Unit …☆11Feb 19, 2025Updated last year
- Assignments for courses of MapReduce☆30Oct 29, 2022Updated 3 years ago
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- EMNLP 2022: Analyzing and Evaluating Faithfulness in Dialogue Summarization☆13Mar 20, 2025Updated last year
- Tutorials given as one of the TAs for the class "Algorithm Design and Analysis" at Nanjing University☆39Jul 11, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Sep 12, 2024Updated last year
- OptiX ray tracing toy framework☆12Mar 22, 2024Updated 2 years ago
- ☆11May 24, 2024Updated 2 years ago
- ☆13Nov 20, 2024Updated last year
- A high-throughput and memory-efficient inference and serving engine for LLMs☆12Nov 27, 2023Updated 2 years ago
- Fuzzing Coreutils with AFL on kubernetes☆13Apr 25, 2019Updated 7 years ago
- Code for reproducing our paper "Low Rank Adapting Models for Sparse Autoencoder Features"☆17Mar 31, 2025Updated last year
- Studying GPU Multi-tenancy☆11Jan 11, 2019Updated 7 years ago
- An enhancement project for Nanjing University EAS. 南京大学教务系统改善工程。☆103Feb 15, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 南京大学学位论文XeLaTeX模板☆441Mar 23, 2021Updated 5 years ago
- Dataset and code for ”EATN: An Efficient Adaptive Transfer Network for Aspect-level Sentiment Analysis"☆16Jun 22, 2021Updated 5 years ago
- ☆14Mar 26, 2024Updated 2 years ago
- Lectures on Discrete Mathematics @ software.nju.edu.cn☆27Jan 10, 2022Updated 4 years ago
- ☆17Jun 17, 2025Updated last year
- TopSeed : Learning Seed Selection Strategies for Symbolic Execution from Scratch☆15Feb 19, 2025Updated last year
- This is our Big Data Experiment in NJU.☆16Mar 6, 2021Updated 5 years ago