learning materials and implementation for MIT6.031: software construction problemsets
☆100Jun 12, 2021Updated 4 years ago
Alternatives and similar repositories for MIT6.031-software-construction
Users that are interested in MIT6.031-software-construction are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The notes and Lab code of public courses I have taken.☆127Jul 27, 2023Updated 2 years ago
- Learning materials for UCB CS169 : software engineering☆62May 26, 2021Updated 4 years ago
- 这是一个智能座舱中的驾驶员分心行为监测系统（DMS）☆18Aug 16, 2023Updated 2 years ago
- The working draft to split rocket core out from rocket chip☆14Dec 22, 2023Updated 2 years ago
- C++实现带GUI背单词小游戏☆18Jul 25, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆25Nov 6, 2025Updated 4 months ago
- All projects I completed in Software Engineering in Fudan University from 2018 / 复旦大学2018级软件工程专业课程项目合集☆22Jan 20, 2022Updated 4 years ago
- Study Materials☆84Oct 31, 2023Updated 2 years ago
- a multiplier÷r verilog RTL file for RV32M instructions☆14Mar 17, 2020Updated 6 years ago
- Tntt is Not a Tex Thesis Template for Tsinghua university (THU)...☆22Mar 19, 2026Updated last week
- Overleaf 平台 | 互动式 LaTeX 入门 - 译版☆40Nov 11, 2024Updated last year
- 一个非阻塞的C++多线程网络库☆10Jul 18, 2018Updated 7 years ago
- 实现轻量级RPC框架，网络通信框架Netty、注册中心（Zookeeper、Nacos）、Java基础（注解、反射、多线程、Future、SPI 、动态代理）、自定义传输协议、多种序列化（ProtoBuf / Kyro / Hessian）、Gzip压缩、轮询、随机、一致性…☆14May 7, 2022Updated 3 years ago
- I don't order you to fight, I order you to die.☆12May 2, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆114Apr 19, 2021Updated 4 years ago
- OceanBase 大赛仓库，由偏远小渔村传统弱校队维护☆13Oct 18, 2022Updated 3 years ago
- Inverse Scaling in Test-Time Compute☆25Dec 3, 2025Updated 3 months ago
- 智慧园区数字孪生平台手机端移动端。 前端实习项目。技术栈: cesium + echarts + vue2 +vant + less☆11Jul 25, 2022Updated 3 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 7 months ago
- [NAACL'25 🏆 SAC Award] Official code for "Advancing MoE Efficiency: A Collaboration-Constrained Routing (C2R) Strategy for Better Expert…☆16Feb 4, 2025Updated last year
- 🚧 💻 华中科技大学计算机硬件系统设计（自己动手画 CPU）相关资料和 Logisim 实现☆13Jan 28, 2026Updated last month
- [VLDB'22] Source code for the paper: A Cache-Aware Learned Index with a Cost-based Construction Algorithm.☆10Jan 3, 2022Updated 4 years ago
- [ICML‘25] Official code for paper "Occult: Optimizing Collaborative Communication across Experts for Accelerated Parallel MoE Training an…☆13Apr 17, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- This my solution about lab, project in CS61B sping2021☆18Nov 7, 2022Updated 3 years ago
- ☆12Nov 30, 2021Updated 4 years ago
- NJU CS核心课程，算法导论，相关实验☆17Aug 5, 2019Updated 6 years ago
- 算法竞赛课件分享☆18Feb 23, 2020Updated 6 years ago
- 一个针对于小型的C/C++项目的makefile模板。使用该模板，能够实现一键编译，无需再编写繁琐的makefile文件。☆16Apr 29, 2019Updated 6 years ago
- 基于RNN的中国古诗词生成模型（SJTU CS382 Course Project）☆11Dec 27, 2018Updated 7 years ago
- ☆11Mar 20, 2022Updated 4 years ago
- A bot based Q-learning for FlappyBird☆11Dec 26, 2020Updated 5 years ago
- A (very) simple graph library.☆12Apr 6, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 算法导论----C++实现☆13Dec 4, 2018Updated 7 years ago
- ☆48Feb 16, 2026Updated last month
- A cli pixel art generator written in rust☆15Jan 10, 2025Updated last year
- 操作系统复现实验&&《OrangeS一个操作系统的实现 (于渊)》1-7章代码实现☆11May 26, 2023Updated 2 years ago
- A curated list of research in machine learning system. I also summarize some papers if I think they are really interesting.☆11Nov 6, 2021Updated 4 years ago
- 中国科学技术大学软件学院软件体系结构课程☆14Oct 10, 2020Updated 5 years ago
- cs50 AI course resources☆110Jan 11, 2021Updated 5 years ago