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
- 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
- ☆18Apr 7, 2018Updated 8 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.
- 利用Selenium库每隔5分钟爬取学校电费查询网站的数据，检测导师办公室电费使用情况，判断导师是否来学校。☆19Mar 21, 2021Updated 5 years ago
- 南京大学山寨毕业论文模版☆141Jan 16, 2019Updated 7 years ago
- NJUCS成长手册，网址: njucs.top☆45Feb 24, 2023Updated 3 years ago
- ☆13Apr 25, 2025Updated last year
- 南京大学分布式系统Raft算法最简实现☆38Jan 3, 2022Updated 4 years ago
- 南哪充电 —— 南京大学 (Nanjing Univerisity) 校内充电站监测系统☆35Feb 28, 2026Updated 6 months ago
- ☆11May 11, 2022Updated 4 years ago
- ☆70Jun 8, 2020Updated 6 years ago
- Github Actions: 完成每日健康填报打卡，So easy☆66Mar 24, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆11Apr 13, 2023Updated 3 years ago
- An easy-to-learn/use static analysis framework for Java and Android☆1,820Sep 19, 2026Updated last week
- ☆30May 23, 2022Updated 4 years ago
- ☆12Apr 12, 2024Updated 2 years ago
- Replication package of the ICSE2025 paper titled "Leveraging Large Language Models for Enhancing the Understandability of Generated Unit …☆11Feb 19, 2025Updated last year
- ☆38Jan 23, 2024Updated 2 years ago
- 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
- 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.
- Tutorials given as one of the TAs for the class "Algorithm Design and Analysis" at Nanjing University☆39Jul 11, 2019Updated 7 years ago
- ☆14Sep 12, 2024Updated 2 years ago
- ☆10Oct 17, 2020Updated 5 years ago
- ☆67May 30, 2021Updated 5 years ago
- Code for paper: "Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines"☆10Oct 11, 2024Updated last year
- 本文旨在整理文本生成领域国内外工业界和企业家的研究者和研究机构。排名不分先后。更新中，欢迎大家补充☆54Jan 4, 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
- 南京大学软件学院 2021年秋季《计算机组织结构》课程项目(By Teaching Assistant)☆24Sep 22, 2022Updated 4 years ago
- [ISCA'25] LIA: A Single-GPU LLM Inference Acceleration with Cooperative AMX-Enabled CPU-GPU Computation and CXL Offloading☆12Jun 28, 2025Updated last year
- 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.
- 南京大学教务网抢课系统☆15Mar 4, 2021Updated 5 years ago
- ☆11May 24, 2024Updated 2 years ago
- ☆13Nov 20, 2024Updated last year
- 安全微伴题库☆44Oct 17, 2025Updated 11 months ago
- Fuzzing Coreutils with AFL on kubernetes☆13Apr 25, 2019Updated 7 years ago
- Android 人脸检测 android.media, play service, Face++☆11Aug 13, 2016Updated 10 years ago
- 南京大学学位论文XeLaTeX模板☆441Mar 23, 2021Updated 5 years ago