Tutorials given as one of the TAs for the class "Algorithm Design and Analysis" at Nanjing University
☆39Jul 11, 2019Updated 7 years ago
Alternatives and similar repositories for algorithm-ta-tutorial
Users that are interested in algorithm-ta-tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Dec 2, 2019Updated 6 years ago
- A LATEX template of NJU Thesis 2018 Version 南京大学本科生毕业论文LaTex模板 2018版☆35Jun 24, 2018Updated 8 years ago
- A LATEX template of NJU Thesis 2021 Version 南京大学本科生毕业论文LaTex模板 2021版☆106Jan 8, 2022Updated 4 years ago
- 南京大学计算机系数理逻辑课程资料☆79Jun 25, 2019Updated 7 years ago
- Computer Network Lab Manual☆11May 26, 2020Updated 6 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.
- Problem Sets for Problem Solving Class☆15Jun 14, 2020Updated 6 years ago
- 《辐射小马国：粉色双眸》的重排版☆12Oct 11, 2019Updated 6 years ago
- ☆13Apr 10, 2025Updated last year
- Implementation of (2014) Explaining and Harnessing Adversarial Examples.☆11Jul 30, 2020Updated 6 years ago
- 2017年南京大学计算机专业保研推免夏令营机试试题之一☆12Sep 24, 2017Updated 8 years ago
- 南京大学宋方敏《计算模型导引》题解☆140Mar 25, 2022Updated 4 years ago
- Prototype implementation and extended paper of SDPaxos☆16Nov 30, 2018Updated 7 years ago
- ☆70Jun 8, 2020Updated 6 years ago
- 南京大学2019spring机器学习导论资料☆56Jul 15, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems☆24Jul 13, 2026Updated last month
- ☆10Oct 11, 2022Updated 3 years ago
- Solutions to "Introduction to Models of Computation" of Nanjing University☆61May 14, 2018Updated 8 years ago
- 南京大学学位论文(本科/硕士/博士)，毕业论文LaTeX模板☆370Jan 14, 2026Updated 7 months ago
- Code for [Re] On the Reproducibility of Post-Hoc Concept Bottleneck Models.☆13Nov 27, 2024Updated last year
- torchvision-based transforms that provide access to parameterization☆13Dec 4, 2025Updated 8 months ago
- ☆23Aug 13, 2026Updated 2 weeks ago
- ☆12Jul 17, 2023Updated 3 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 南京大学 计算机科学与技术系 2018秋季课程 《博弈论及其应用》☆55Jan 17, 2019Updated 7 years ago
- AdaptiveStep: Automatically Dividing Reasoning Step through Model Confidence☆10Mar 2, 2025Updated last year
- Demo for software design of the coursework to be assigned on Introduction to Embedded Systems in the first semester of Year 2017-2018, So…☆34Sep 19, 2018Updated 7 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- source code of our MGPN in SIGIR 2022☆18Jun 8, 2022Updated 4 years ago
- 🧞♀️ Discover AI-generated programming project ideas☆10Sep 2, 2022Updated 4 years ago
- 方舟编译入门技术课程的配套代码☆30Sep 16, 2020Updated 5 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 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.
- This is the oficial repository for "Safer-Instruct: Aligning Language Models with Automated Preference Data"☆17Feb 22, 2024Updated 2 years ago
- Syntax highlighting for Alda - a music programming language.☆13Sep 5, 2021Updated 4 years ago
- NJUrepo -- a Nanjing University versatile report template for bachelor☆22Dec 18, 2021Updated 4 years ago
- Android端的一个用于作出随机选择的APP；使用了开源库 3dTagCloudAndroid 以3D旋转球形的方式展示文本标签☆15Mar 8, 2020Updated 6 years ago
- Official site of NJU-CSE-Flyers☆37Jul 11, 2021Updated 5 years ago
- ☆14Jun 25, 2020Updated 6 years ago
- XSKIN 是基于 c++ 和GDI做的 一个UI库. Direct UI库，部分参考Duilib,有些作者自己的想法实现，模仿java事件监听器机制和android布局文件. 内部使用其它该源的jpg, png图片解码库☆12Sep 6, 2017Updated 8 years ago