learning materials and implementation for MIT6.031: software construction problemsets
☆110Jun 12, 2021Updated 5 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.☆132Jul 27, 2023Updated 3 years ago
- Learning materials for UCB CS169 : software engineering☆65May 26, 2021Updated 5 years ago
- 麻省理工大学-18年春季学期-软件构造(6.031)课程阅读中文版☆98Sep 8, 2018Updated 8 years ago
- This repository consists of notes taken from class readings and personal/team-based projects.☆21Nov 28, 2018Updated 7 years ago
- BibmsJava A bank intermediary business system project based on Java+Mysql+JDBC （一项基于Java+Mysql+JDBC的银行中间业务系统项目）☆16Jun 26, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- a multiplier÷r verilog RTL file for RV32M instructions☆14Mar 17, 2020Updated 6 years ago
- Overleaf 平台 | 互动式 LaTeX 入门 - 译版☆41Nov 11, 2024Updated last year
- Using STM32F303CCT6's on-chip 12-bit DAC to perform Direct Digital Synthesize☆17May 20, 2021Updated 5 years ago
- I don't order you to fight, I order you to die.☆12May 2, 2022Updated 4 years ago
- ☆113Apr 19, 2021Updated 5 years ago
- OceanBase 大赛仓库，由偏远小渔村传统弱校队维护☆13Oct 18, 2022Updated 3 years ago
- 智慧园区数字孪生平台手机端移动端。 前端实习项目。技术栈: cesium + echarts + vue2 +vant + less☆11Jul 25, 2022Updated 4 years ago
- Official code of "PLEX: Towards Practical Learned Indexing", aka TrieSpline (AIDB @VLDB'21)☆16Jun 30, 2022Updated 4 years ago
- 该资源为杨秀璋作者《Python网络数据爬取及分析从入门到精通（分析篇）》书籍所有源代码，包括可视化分析、聚类分析、回归分析、分类分析、词云和LDA分析等内容。所有代码已修改为Python3实现，希望对您有所帮助，一起加油。☆11Aug 12, 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 toy os. 《自己动手写操作系统》 《Orange'S 一个操作系统的实现》☆10Mar 10, 2023Updated 3 years ago
- 操作系统复现实验&&《OrangeS一个操作系统的实现 (于渊)》1-7章代码实现☆10May 26, 2023Updated 3 years ago
- 成都信息工程大学 学生电子爱好者协会的 Wiki。☆12Mar 9, 2022Updated 4 years ago
- [ICML‘25] Official code for paper "Occult: Optimizing Collaborative Communication across Experts for Accelerated Parallel MoE Training an…☆14Apr 17, 2025Updated last year
- A bot based Q-learning for FlappyBird☆11Dec 26, 2020Updated 5 years ago
- Repo with code for NIR'24 challange☆13Apr 22, 2024Updated 2 years ago
- X-Image-Processing is dedicated to presenting the research efforts of XPixel in the realm of image restoration and enhancement.☆17Aug 24, 2023Updated 3 years ago
- 哈工大深圳 校园网全自动登录☆10Feb 7, 2023Updated 3 years ago
- C++实现的几种进程调度算法(先来先服务、短进程优先、时间片轮转、静态优先级调度、高响应比优先(多用于作业调度))☆13Dec 11, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 哈尔滨工业大学（深圳）2021年计算机系体结构实验☆14Mar 14, 2022Updated 4 years ago
- cs50 AI course resources☆121Jan 11, 2021Updated 5 years ago
- Qt 停车场管理系统☆14Dec 5, 2014Updated 11 years ago
- Spring 2022 Public Materials and Website☆63Apr 1, 2026Updated 5 months ago
- ☆17Sep 6, 2025Updated last year
- .NET 事件总线，简化项目、类库、线程、服务等之间的通信，代码更少，质量更好。☆23Aug 27, 2026Updated last week
- NJU CS核心课程，算法导论，相关实验☆17Aug 5, 2019Updated 7 years ago
- 本笔记基于哈工大李治军老师的课程，以及王道考研资料，B站CodeSheep的知识梳理，各大论坛的博客等，从各个渠道中获取精华，成为这些笔记。☆13Nov 26, 2020Updated 5 years ago
- 自动填写中国石油大学（华东）疫情防控通☆13Oct 22, 2022Updated 3 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.
- A DL compiler fuzzer☆15Nov 1, 2024Updated last year
- ☆13Sep 5, 2024Updated 2 years ago
- Official implementation for "Mixture of In-Context Experts Enhance LLMs’ Awareness of Long Contexts" (Accepted by Neurips2024)☆14Jan 7, 2025Updated last year
- 使用Verilog语言结构化描述方式设计一个32位ALU，具有32位 无符号数加法、逻辑运算、移位、截断等功能。☆14Apr 29, 2024Updated 2 years ago
- Open-source repository for the paper "DyTIS: A Dynamic Dataset Targeted Index Structure Simultaneously Efficient for Search, Insert, and …☆14May 16, 2023Updated 3 years ago
- Official code for the paper "HEXA-MoE: Efficient and Heterogeneous-Aware MoE Acceleration with Zero Computation Redundancy"☆15Mar 6, 2025Updated last year
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago