Alternatives and similar repositories for USTC_SSE_FMF:

Users that are interested in USTC_SSE_FMF are comparing it to the libraries listed below

• fragile0 / formal-method
  中科大软院形式化方法（华保健老师）
  ☆17Updated 2 years ago
• WYGNG / USTC_SSE_Algorithm
  中国科学技术大学软件学院算法设计与分析课程
  ☆79Updated 4 years ago
• WYGNG / USTC_SSE_Model
  中国科学技术大学软件学院系统建模课程
  ☆30Updated 4 years ago
• chetanyabansal2002 / Poolgame
  ☆10Updated last year
• gzy02 / SysProgC
  23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~
  ☆12Updated 3 weeks ago
• Gaius-Iulius-Caesar / StorageAndBufferManager
  USTC SSE 2022高级数据库技术期末实验
  ☆8Updated 2 years ago
• MingStudentSE / ustcse_courses
  ☆58Updated 3 years ago
• bvanjoi / FMF-homework-2020spring
  FMF, Formal Methods Foundation. 形式化方法2020春，作业
  ☆18Updated 4 years ago
• cnstark / ustc_adb_lab
  中科大《高级数据库系统》实验——Storage and Buffer Manager
  ☆21Updated 5 years ago
• YuanTao1995 / USTC_SSE_Algorithm
  中科大徐云老师软件学院算法导论课程
  ☆23Updated 4 years ago
• zdszero / ustc-adbs-lab
  金培权 高级数据库系统 课程实验2021秋季学期
  ☆27Updated 3 years ago
• Mapshiny / CampusRecruit
  ✨23⌈秋招⌋⌈校招⌋面试笔记，C/C++/Java/Go/Python/前端/后端面经合集(含答案)，从秋招一直到春招补录，陪你找到满意工作，欢迎提交pr补充信息，每天持续更新...
  ☆201Updated 2 years ago
• ejunjsh / bustub
  Database practice on cmu15-445 2022
  ☆214Updated 2 years ago
• WYGNG / USTC_SSE_CSAPP
  中国科学技术大学软件学院程序设计与计算机系统课程
  ☆11Updated 5 years ago
• outman123 / USTC-SSE-Courses
  中科大软件学院研究生部分课程，持续更新。仅用于学习，禁止商用
  ☆136Updated 4 years ago
• YXG520 / MIT6.824-6.5840
  Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts
  ☆133Updated last year
• PKUFlyingPig / MIT6.824
  distributed system
  ☆161Updated 4 years ago
• 1970633640 / USTC-Advanced-Database-System-Lab-Answer
  中国科学技术大学 高级数据库系统 金培权 全部作业正确答案 Correct Answer of all USTC Advanced Database System Homework in Chinese
  ☆41Updated 5 years ago
• WYGNG / USTC_SSE_Software_Architectural
  中国科学技术大学软件学院软件体系结构课程
  ☆11Updated 4 years ago
• YukunJ / BusTub-DB
  ☆29Updated 2 years ago
• Harryline-996 / MyShell
  ZJU 2020年短学期Linux程序设计课程大作业，用C语言实现了一个shell程序的基本功能，还包括管道，重定向，后台执行等功能
  ☆49Updated 3 years ago
• jlu-xiurui / CMU15445-2021-FALL
  CMU15445-2021-FALL的实源原理讲解及笔记（已完结）
  ☆174Updated 2 years ago
• tomstillcoding / Simple-RPC
  ☕️ 用Java手撸一个简单的RPC框架｜一个写C++的在看完gRPC后用Java手撸了个简单RPC框架
  ☆56Updated 2 years ago
• ToniXWD / MIT6.5840
  codes and documents for MIT6.5840(6.824) 2023
  ☆77Updated 4 months ago
• niebayes / MIT-6.5840
  My solution for MIT 6.5840 (aka. MIT 6.824). No failure within 30,000 tests.
  ☆124Updated 8 months ago
• viego1999 / wxy-rpc
  ★★★一款基于 Netty + Zookeeper + Nacos + SpringBoot 实现的自定义 RPC 框架
  ☆121Updated last year
• happysnaker / CSAPPLabsAndNotes
  CSAPPLabs详解与读书笔记，邀请您共同完成读书笔记，附深入理解计算机系统原书第二版pdf，详解CSAPP实验的全过程。
  ☆59Updated 3 years ago
• 1345414527 / MIT6.830
  MIT6.830要我们基于java语言实现一个数据库系统，一共6个lab。
  ☆30Updated 2 years ago
• huerni / CMU15445-Lab
  CMU15445 2022 lab集合
  ☆13Updated last year
• szr712 / FileSystem
  模拟Linux文件系统
  ☆32Updated 4 years ago