南大软院2020级软工1大作业提问区
☆17Jun 10, 2020Updated 6 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 南京大学软件学院课程相关笔记☆357Jan 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
- An enhancement project for Nanjing University EAS. 南京大学教务系统改善工程。☆103Feb 15, 2023Updated 3 years ago
- 南京大学软件学院大一专业课——软件工程与计算I（简称“软工一”）☆19Oct 13, 2020Updated 5 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 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.
- 南大软院保研攻略☆196May 26, 2024Updated 2 years ago
- 🍻 南哪课表APP Written in Flutter☆82May 6, 2026Updated last month
- 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 4 years ago
- [NeurIPS 2024] "Mind the Gap between Prototypes and Images in Cross-domain Finetuning"☆11Nov 15, 2024Updated last year
- A Terraform module to create and manage a Google Kubernetes Engine (GKE) Autopilot Cluster on Google Cloud Platform (GCP) https://cloud.g…☆10Nov 14, 2022Updated 3 years ago
- Lectures for the class on Compilers@software.nju.edu.cn☆215Jun 23, 2024Updated last year
- ☆15May 21, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Hackathon2020@eastchina，Team Four Concealed Triplets. A website that can embed website content into a simple image (supporting Github, CN…☆28Nov 29, 2020Updated 5 years ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆12Mar 3, 2021Updated 5 years ago
- A Unreal Engine plugin to create AVG Games☆14Nov 28, 2021Updated 4 years ago
- [ICML 2024] Code release for "On the Emergence of Cross-Task Linearity in Pretraining-Finetuning Paradigm"☆11Feb 20, 2025Updated last year
- 使用WebGL和Node.js技术构建复旦三维社交网络。目前实现了校园模型demo显示，多用户在线聊天。☆12Jun 12, 2015Updated 11 years ago
- NJU-IT侠聊天机器人☆10Dec 13, 2021Updated 4 years ago
- Scripts to optimize NJU EasyConnect client routing rules.☆76Jul 25, 2024Updated last year
- ☆10Aug 28, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 雷课堂大作业☆178Apr 30, 2020Updated 6 years ago
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆15Jul 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
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- TLAi+ Benchmarks☆35Feb 6, 2026Updated 4 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago