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 2021 Version 南京大学本科生毕业论文LaTex模板 2021版☆106Jan 8, 2022Updated 4 years ago
- 南京大学计算机系数理逻辑课程资料☆80Jun 25, 2019Updated 7 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 8 months ago
- Computer Network Lab Manual☆11May 26, 2020Updated 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.
- 南京大学学位论文XeLaTeX模板☆441Mar 23, 2021Updated 5 years ago
- Problem Sets for Problem Solving Class☆15Jun 14, 2020Updated 6 years ago
- 南京大学统一身份认证平台验证码识别系统☆28Mar 17, 2014Updated 12 years ago
- ☆13Apr 10, 2025Updated last year
- Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.☆95Aug 7, 2026Updated last month
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Aug 7, 2026Updated last month
- [ICML-2025] We introduce Lie group Relative position Encodings (LieRE) that goes beyond RoPE in supporting n-dimensional inputs.☆14Aug 8, 2025Updated last year
- Source code accompanying the NeurIPS 2022 paper "Learning Partial Equivariances From Data"☆10Nov 18, 2022Updated 3 years ago
- Training, optimization and deployment of Object Detection model with dinov2 backbone for efficient inference on NVIDIA Jetson☆14Jul 26, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems☆25Jul 13, 2026Updated 2 months ago
- ☆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 8 months ago
- torchvision-based transforms that provide access to parameterization☆13Sep 11, 2026Updated last week
- ☆23Aug 13, 2026Updated last month
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- 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 8 years ago
- 🧞♀️ Discover AI-generated programming project ideas☆10Sep 2, 2022Updated 4 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.
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- [ACL'24 Findings] Official code for "TLCR: Token-Level Continuous Reward for Fine-grained Reinforcement Learning from Human Feedback"☆12Dec 6, 2024Updated last year
- NJUrepo -- a Nanjing University versatile report template for bachelor☆22Dec 18, 2021Updated 4 years ago
- An Opinionated Formatter for Verus☆22Sep 12, 2026Updated last week
- 面试资料整理☆24Aug 18, 2019Updated 7 years ago
- MoonLight: a light-weight framework for runtime monitoring.☆21Jan 25, 2026Updated 7 months ago
- Official site of NJU-CSE-Flyers☆37Jul 11, 2021Updated 5 years ago
- ☆12May 19, 2022Updated 4 years ago
- Universal Presentation: A Header-only C++ Library to Cout STL containers and more☆18Aug 14, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Algorithms - Design and Analysis offered by Stanford University☆39Feb 26, 2020Updated 6 years ago
- ☆14Jun 25, 2020Updated 6 years ago
- XSKIN 是基于 c++ 和GDI做的 一个UI库. Direct UI库，部分参考Duilib,有些作者自己的想法实现，模仿java事件监听器机制和android布局文件. 内部使用其它该源的jpg, png图片解码库☆12Sep 6, 2017Updated 9 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆11Nov 2, 2013Updated 12 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Skiplist written in C/C++ language.☆27Mar 2, 2014Updated 12 years ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago