南京大学宋方敏《计算模型导引》题解
☆140Mar 25, 2022Updated 4 years ago
Alternatives and similar repositories for IntroComputationModel
Users that are interested in IntroComputationModel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Distributed System, Fall 2017, CS@NJU☆66Jan 5, 2024Updated 2 years ago
- 南京大学学位论文(本科/硕士/博士)，毕业论文LaTeX模板☆372Jan 14, 2026Updated 9 months ago
- 南京大学学位论文模板☆711Jun 11, 2026Updated 4 months ago
- Scripts to optimize NJU EasyConnect client routing rules.☆77Jul 25, 2024Updated 2 years ago
- Some undergraduate math notes☆17Nov 2, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- [ECCV 2022] Joint-Modal Label Denoising for Weakly-Supervised Audio-Visual Video Parsing☆27Jul 15, 2022Updated 4 years ago
- Specifying and Verfying Zab using TLA+☆11Dec 12, 2021Updated 4 years ago
- 南京大学计算机系 课程资料 作业 代码 实验报告 NJU-CS 课程分享计划 ☆1,484Oct 2, 2022Updated 4 years ago
- Github Actions: 完成每日健康填报打卡，So easy☆66Mar 24, 2022Updated 4 years ago
- ☆14Dec 10, 2019Updated 6 years ago
- 南京大学 机器学习导论☆21Jun 6, 2019Updated 7 years ago
- 简单粗暴的教学立方辅助Chrome插件☆46Nov 2, 2020Updated 6 years ago
- ☆30May 23, 2022Updated 4 years ago
- 南京大学 (Nanjing University) 在线教学平台 —— 教学立方的课件批量下载工具，基于Python + Requests.☆170Feb 27, 2025Updated last year
- 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.
- ☆47May 27, 2025Updated last year
- An enhancement project for Nanjing University EAS. 南京大学教务系统改善工程。☆103Feb 15, 2023Updated 3 years ago
- Tai-e assignments for static program analysis☆1,238Aug 28, 2025Updated last year
- NJU 2020 编译原理实验☆25Feb 21, 2023Updated 3 years ago
- Nanjing University Advanced Machine Learning Review☆32Jun 11, 2025Updated last year
- ☆29May 22, 2023Updated 3 years ago
- A Simple CPP Static Analysis Framework☆20Jun 16, 2023Updated 3 years ago
- 南大CS考研题目回忆版☆121Mar 23, 2018Updated 8 years ago
- A service for relation linking for knowledge base question answering.☆22Sep 20, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆46Dec 8, 2022Updated 3 years ago
- ☆18Jun 7, 2023Updated 3 years ago
- [AAAI 2022] Negative Sample Matters: A Renaissance of Metric Learning for Temporal Grounding☆91Nov 16, 2022Updated 3 years ago
- ☆13Apr 10, 2025Updated last year
- 南京大学计算机系统基础PA和Lab☆129Jun 24, 2019Updated 7 years ago
- [CVPR 2022 Oral] AdaMixer: A Fast-Converging Query-Based Object Detector☆238Aug 17, 2022Updated 4 years ago
- The implement of ACL2024: "MAPO: Advancing Multilingual Reasoning through Multilingual Alignment-as-Preference Optimization"☆44Jun 15, 2024Updated 2 years ago
- 🏠 南哪指南—南哪大学网址导航☆217Dec 12, 2022Updated 3 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 南京大学计算机系2021秋季学期数字逻辑与计算机组成课程实验☆15Feb 17, 2022Updated 4 years ago
- 静态分析基础教程☆186Sep 25, 2026Updated last month
- Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation☆22Jun 9, 2025Updated last year
- NJU-DisSys-2020☆11Dec 29, 2020Updated 5 years ago
- A reference implementation of FlyMon system.☆20Nov 13, 2022Updated 3 years ago
- NJUCS成长手册，网址: njucs.top☆46Feb 24, 2023Updated 3 years ago
- Our "Visual Saliency Aided SAR and Optic Image Matching" papaer's code☆16Jun 5, 2023Updated 3 years ago