南京大学宋方敏《计算模型导引》题解
☆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:
- Solutions to "Introduction to Models of Computation" of Nanjing University☆61May 14, 2018Updated 8 years ago
- Distributed System, Fall 2017, CS@NJU☆66Jan 5, 2024Updated 2 years ago
- ☆13Jul 13, 2022Updated 4 years ago
- 南京大学分布式系统Raft算法最简实现☆39Jan 3, 2022Updated 4 years ago
- 南京大学学位论文(本科/硕士/博士)，毕业论文LaTeX模板☆371Jan 14, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Codes for "EDG-based Question Decomposition for Complex Question Answering over Knowledge Bases"☆13Nov 12, 2021Updated 4 years ago
- Repository for Software Security curriculum☆15Apr 19, 2020Updated 6 years ago
- A LATEX template of NJU Thesis 2021 Version 南京大学本科生毕业论文LaTex模板 2021版☆106Jan 8, 2022Updated 4 years ago
- 南京大学学位论文模板☆688Jun 11, 2026Updated last month
- Github Actions: 完成每日健康填报打卡，So easy☆66Mar 24, 2022Updated 4 years ago
- Scripts to optimize NJU EasyConnect client routing rules.☆77Jul 25, 2024Updated last year
- ☆14Dec 10, 2019Updated 6 years ago
- A simple concurrent queue using std::mutex and std::condition_variable in C++ 11☆16May 12, 2024Updated 2 years ago
- ☆30May 23, 2022Updated 4 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.
- Fluid, elastic data abstraction and acceleration for BigData/AI applications in cloud. (Project under CNCF)☆1,955Updated this week
- 南京大学 (Nanjing University) 在线教学平台 —— 教学立方的课件批量下载工具，基于Python + Requests.☆169Feb 27, 2025Updated last year
- An enhancement project for Nanjing University EAS. 南京大学教务系统改善工程。☆103Feb 15, 2023Updated 3 years ago
- ☆29May 22, 2023Updated 3 years ago
- ☆93Aug 17, 2021Updated 4 years ago
- ☆45Dec 8, 2022Updated 3 years ago
- TLA+ model checking guided testing for distributed systems☆19Feb 12, 2024Updated 2 years ago
- A formatter for TLA+ specs☆15Updated this week
- [AAAI 2022] Negative Sample Matters: A Renaissance of Metric Learning for Temporal Grounding☆91Nov 16, 2022Updated 3 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.
- A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…☆16Jun 17, 2020Updated 6 years ago
- [CVPR 2022 Oral] AdaMixer: A Fast-Converging Query-Based Object Detector☆237Aug 17, 2022Updated 3 years ago
- ☆14Jun 25, 2020Updated 6 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- 南京大学学位论文XeLaTeX模板☆441Mar 23, 2021Updated 5 years ago
- ☆12Jul 10, 2023Updated 3 years ago
- Official code for semantic parsing model "HSP" in paper "Complex Question Decomposition for Semantic Parsing"(ACL'19).☆31Jul 6, 2023Updated 3 years ago
- New Contributor Tasks for Alluxio☆21Oct 1, 2019Updated 6 years ago
- NJU-DisSys-2020☆12Dec 29, 2020Updated 5 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.
- Enabling Edge-Cloud Video Analytics for Robotic Applications (INFOCOM '21)☆10Jan 7, 2021Updated 5 years ago
- A reference implementation of FlyMon system.☆20Nov 13, 2022Updated 3 years ago
- 南京大学计算机&人工智能19考研 南京大学计算机考研☆648Jun 3, 2019Updated 7 years ago
- [TPAMI 2024] Dynamic MDETR: A Dynamic Multimodal Transformer Decoder for Visual Grounding☆29Sep 11, 2024Updated last year
- Code for AAAI 2023 research track paper "Question Decomposition Tree for Answering Complex Questions over Knowledge Bases"☆17Jan 3, 2024Updated 2 years ago
- Unofficial Pytorch(1.0+) implementation of ICCV 2019 paper "Multimodal Style Transfer via Graph Cuts"☆16Jan 9, 2020Updated 6 years ago
- 南哪充电 —— 南京大学 (Nanjing Univerisity) 校内充电站监测系统☆35Feb 28, 2026Updated 4 months ago