南大软院2020级软工1大作业提问区
☆17Jun 10, 2020Updated 5 years ago
Alternatives and similar repositories for 2020SE1-FAQ
Users that are interested in 2020SE1-FAQ are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 南京大学-字节跳动合作推出的 Android 实训课程☆26Jul 19, 2021Updated 4 years ago
- Part Of My Notes, NJU SE☆47Jul 25, 2021Updated 4 years ago
- 我个人的课程笔记和复习资料☆22Oct 17, 2021Updated 4 years ago
- Collection of Software Engineering and Computing Ⅰ @ Software Institute, Nanjing University☆18Dec 28, 2020Updated 5 years ago
- my notes☆31Jan 14, 2024Updated 2 years ago
- 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.
- 南京大学软件学院课程相关笔记☆356Jan 4, 2024Updated 2 years ago
- 软件工程与计算II☆11Dec 29, 2020Updated 5 years ago
- 本项目由云原生PaaS平台和众包测试平台组成，众包测试平台是业务系统，运行在PaaS平台上☆41Mar 8, 2023Updated 3 years ago
- C++ 高级程序设计☆15Jan 2, 2021Updated 5 years ago
- NJUSE-专业课 LFS配额已经超支，可能已经无法继续contribute☆905Nov 24, 2023Updated 2 years ago
- Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn☆10Mar 31, 2023Updated 3 years ago
- 冷链溯源管理系统 后端 2020微软华东高校hackathon 基于Java spring boot☆18Dec 2, 2020Updated 5 years ago
- 南京大学软件学院大一专业课——软件工程与计算I（简称“软工一”）☆19Oct 13, 2020Updated 5 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 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.
- 南大软院保研攻略☆197May 26, 2024Updated last year
- ☆12Nov 19, 2025Updated 5 months ago
- 后端的相关技术学习笔记☆12Nov 11, 2021Updated 4 years ago
- Code for TAMA: See it, Think it, Sorted: Large Multimodal Models are Few-shot Time Series Anomaly Analyzers.☆16Feb 13, 2025Updated last year
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆49Jul 6, 2021Updated 4 years ago
- 用于在 GitHub Action 上部署南京大学每日健康填报自动打卡脚本☆109May 19, 2022Updated 3 years ago
- 服务计算与SOA课程编程作业☆10Jun 29, 2017Updated 8 years ago
- Lectures for the class on Compilers@software.nju.edu.cn☆216Jun 23, 2024Updated last year
- 计算社会学，爬虫，机器学习，情感分析，疫情舆论☆20Jan 23, 2021Updated 5 years ago
- 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.
- A Tool For Identifying The Clues To Online Service Anomalies☆13Nov 13, 2025Updated 5 months ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆11Mar 3, 2021Updated 5 years ago
- 程序代码相似度检测方法研究及应用☆12Feb 7, 2020Updated 6 years ago
- 使用WebGL和Node.js技术构建复旦三维社交网络。目前实现了校园模型demo显示，多用户在线聊天。☆12Jun 12, 2015Updated 10 years ago
- Program error cause finder for C# - research tool☆17Aug 16, 2021Updated 4 years ago
- TLAi+ Benchmarks☆32Feb 6, 2026Updated 2 months ago
- 抓取Here地图的三维建筑物模型☆12Jun 29, 2017Updated 8 years ago
- Scripts to optimize NJU EasyConnect client routing rules.☆75Jul 25, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 雷课堂大作业☆178Apr 30, 2020Updated 6 years ago
- [ICML'24] Open-Vocabulary Calibration for Fine-tuned CLIP☆18Jun 14, 2024Updated last year
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆14Jul 10, 2024Updated last year
- ☆10Sep 16, 2021Updated 4 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- 基于阿里云日志服务，aliyun-log-java-producer 封装的 spring-boot starter 组件支持☆13Jan 18, 2024Updated 2 years ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 2 years ago