learning materials and implementation for MIT6.031: software construction problemsets
☆101Jun 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:
- Learning materials for UCB CS169 : software engineering☆62May 26, 2021Updated 5 years ago
- The working draft to split rocket core out from rocket chip☆14Dec 22, 2023Updated 2 years ago
- This repository consists of notes taken from class readings and personal/team-based projects.☆19Nov 28, 2018Updated 7 years ago
- ☆27Nov 6, 2025Updated 7 months ago
- All projects I completed in Software Engineering in Fudan University from 2018 / 复旦大学2018级软件工程专业课程项目合集☆22Jan 20, 2022Updated 4 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 multiplier÷r verilog RTL file for RV32M instructions☆14Mar 17, 2020Updated 6 years ago
- 实现轻量级RPC框架，网络通信框架Netty、注册中心（Zookeeper、Nacos）、Java基础（注解、反射、多线程、Future、SPI 、动态代理）、自定义传输协议、多种序列化（ProtoBuf / Kyro / Hessian）、Gzip压缩、轮询、随机、一致性…☆14May 7, 2022Updated 4 years ago
- Open-source RISC-V cryptographic hardware token, RTL repo☆20Nov 9, 2022Updated 3 years ago
- An implementation of FITing-Tree learned index proposed in SIGMOD '19☆10Dec 6, 2023Updated 2 years ago
- ☆115Apr 19, 2021Updated 5 years ago
- OceanBase 大赛仓库，由偏远小渔村传统弱校队维护☆13Oct 18, 2022Updated 3 years ago
- 智慧园区数字孪生平台手机端移动端。 前端实习项目。技术栈: cesium + echarts + vue2 +vant + less☆11Jul 25, 2022Updated 3 years ago
- Inverse Scaling in Test-Time Compute☆25Dec 3, 2025Updated 7 months ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 10 months 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.
- ☆19Jan 16, 2024Updated 2 years ago
- [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 last year
- NJU CS核心课程，算法导论，相关实验☆17Aug 5, 2019Updated 6 years ago
- 基于RNN的中国古诗词生成模型（SJTU CS382 Course Project）☆12Dec 27, 2018Updated 7 years ago
- A bot based Q-learning for FlappyBird☆11Dec 26, 2020Updated 5 years ago
- 名校公开课程评价网☆27Oct 27, 2021Updated 4 years ago
- 算法导论----C++实现☆14Dec 4, 2018Updated 7 years ago
- ☆14Sep 26, 2021Updated 4 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.
- Gobang game based on Minimax in C language. 中国科学院大学2022-2023秋季学期 《程序设计基础与实验（C语言）》课程大作业——基于Min-Max搜索策略的五子棋对战程序☆11Dec 18, 2023Updated 2 years ago
- A cli pixel art generator written in rust☆15Jan 10, 2025Updated last year
- 操作系统复现实验&&《OrangeS一个操作系统的实现 (于渊)》1-7章代码实现☆10May 26, 2023Updated 3 years ago
- A curated list of research in machine learning system. I also summarize some papers if I think they are really interesting.☆10Nov 6, 2021Updated 4 years ago
- Source code and data of our paper "Missing Counter-Evidence Renders NLP Fact-Checking Unrealistic for Misinformation" (https://arxiv.org/…☆10Jun 21, 2023Updated 3 years ago
- 哈工大深圳 校园网全自动登录☆10Feb 7, 2023Updated 3 years ago
- Learning materials for Stanford Compiler course : CS143☆22Oct 19, 2021Updated 4 years ago
- 中国科学技术大学软件学院软件体系结构课程☆14Oct 10, 2020Updated 5 years ago
- 哈尔滨工业大学（深圳）2021年计算机系体结构实验☆14Mar 14, 2022Updated 4 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 simple game engine made with opengl☆13Aug 4, 2022Updated 3 years ago
- Official Implementation of our ICML 2025 paper: "D-MoLE: Dynamic Mixture of Curriculum LoRA Experts for Continual Multimodal Instruction …☆27Jan 11, 2026Updated 5 months ago
- .NET 事件总线，简化项目、类库、线程、服务等之间的通信，代码更少，质量更好。☆23Jun 23, 2026Updated last week
- B站视频解析真实地址☆13Jan 8, 2026Updated 5 months ago
- ☆13Feb 13, 2025Updated last year
- Spring 2022 Public Materials and Website☆63Apr 1, 2026Updated 3 months ago
- ☆279Apr 15, 2022Updated 4 years ago