☆14Mar 26, 2024Updated last year
Alternatives and similar repositories for MIT6.5840-2024Spring
Users that are interested in MIT6.5840-2024Spring are comparing it to the libraries listed below
Sorting:
- Spring Cloud Web后端，分布式架构网约车平台后端原型系统设计与实现☆12Oct 5, 2022Updated 3 years ago
- ☆12Sep 12, 2024Updated last year
- Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"☆13Dec 9, 2024Updated last year
- ☆25Oct 11, 2025Updated 4 months ago
- 极客学院云原生第四期个人作业☆13Sep 13, 2022Updated 3 years ago
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- translate skyzh/mini-lsm to go version☆10Jun 7, 2023Updated 2 years ago
- raftd 基于raft和bolt的分布式KV数据库 由于简单实现了租约系统 可以用于简单的服务发现 基于gin框架提供http服务☆13Mar 15, 2022Updated 3 years ago
- hustpa ics2019☆10Jul 11, 2022Updated 3 years ago
- Gitlet-Testing-Files☆14Jun 21, 2022Updated 3 years ago
- 华中科技大学大学CS课程其它报告存档库。组成原理、计算机网络、汇编语言、数据库、操作系统、课程设计以及大数据处理。☆11Jan 16, 2024Updated 2 years ago
- 华中科技大学Linux协会（HUSTLUG）开源镜像站☆12Oct 26, 2023Updated 2 years ago
- ☆16Apr 29, 2022Updated 3 years ago
- c++ 实现stanford cs149 assignment1☆14Feb 19, 2023Updated 3 years ago
- 🔥🔥🔥 We release an implementation of many attention mechanism models! Plug-and-play, performance booster!☆18Aug 14, 2024Updated last year
- 国科大雁栖湖校区2024~2025年课程资料，包括强化学习、智能计算系统、模式识别、矩阵分析与应用、人工智能原理与算法、自然语言处理☆36Sep 22, 2025Updated 5 months ago
- No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation☆19Jun 28, 2023Updated 2 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆26Sep 3, 2024Updated last year
- CMU 15-440/640 Distributed Systems☆15Oct 2, 2014Updated 11 years ago
- mit 6.5840: Distributed Systems Spring 2023☆16Apr 10, 2023Updated 2 years ago
- ☆23Jun 6, 2023Updated 2 years ago
- Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts☆172Dec 20, 2023Updated 2 years ago
- ☆22Apr 21, 2023Updated 2 years ago
- 国科大(UCAS)李保滨老师2020矩阵分析课程资源(课件，作业，和编程大作业)☆26Jun 5, 2024Updated last year
- 南京大学nemu，基于riscv32架构，目前进度PA3☆20Jan 30, 2021Updated 5 years ago
- 华中科技大学计算机学院系统能力培养2019-虚拟机☆19Dec 12, 2019Updated 6 years ago
- 南京大学2022春季PA实验☆13Aug 27, 2023Updated 2 years ago
- 🏆🏆 「大模型」All in one & All from scratch. 🌍🌍 收集、清洗数据，训练Tokenizer，预训练、SFT、GRPO！☆52Aug 12, 2025Updated 6 months ago
- codes and documents for MIT6.5840(6.824) 2023☆103Nov 8, 2024Updated last year
- TeCo: an ML+Execution model for test completion☆31Jun 16, 2024Updated last year
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag …☆34Mar 11, 2025Updated 11 months ago
- An Implementation of Fatigue Driving Detect, Huawei Cloud Track, 18th Challenge Cup☆41Nov 26, 2024Updated last year
- Tsunami UDP File Transfer Server and Client's Go Version. http://tsunami-udp.sourceforge.net/☆29Jul 23, 2016Updated 9 years ago
- ☆29Apr 29, 2023Updated 2 years ago
- golang pkg, common utils☆29May 5, 2023Updated 2 years ago
- babylon.js 中文入门文档☆32Oct 29, 2024Updated last year
- ☆77Feb 15, 2026Updated 2 weeks ago
- My solution for MIT 6.5840 (aka. MIT 6.824). No failure within 30,000 tests.☆136Jul 22, 2024Updated last year
- ☆29Dec 23, 2025Updated 2 months ago