Alternatives and similar repositories for FMF-homework-2020spring

Users that are interested in FMF-homework-2020spring are comparing it to the libraries listed below

• langyaMK / USTC_SSE_FMF

  View on GitHub
  中科大形式化方法
  ☆19Jan 6, 2022Updated 4 years ago
• fragile0 / formal-method

  View on GitHub
  中科大软院形式化方法（华保健老师）
  ☆19Mar 28, 2022Updated 3 years ago
• fangcao1314 / Digital_Image_Processing_Lab

  View on GitHub
  中国科学技术大学 软件学院 高级图像处理 实验
  ☆14Apr 14, 2019Updated 6 years ago
• WYGNG / USTC_SSE_CSAPP

  View on GitHub
  中国科学技术大学软件学院程序设计与计算机系统课程
  ☆12Nov 22, 2019Updated 6 years ago
• WYGNG / USTC_SSE_Algorithm

  View on GitHub
  中国科学技术大学软件学院算法设计与分析课程
  ☆89Oct 10, 2020Updated 5 years ago
• Zhao-hangtian / adb-buffer

  View on GitHub
  《高级数据库系统》课程实验
  ☆23Jan 19, 2019Updated 7 years ago
• zdszero / ustc-adbs-lab

  View on GitHub
  金培权 高级数据库系统 课程实验2021秋季学期
  ☆31Dec 18, 2021Updated 4 years ago
• Gaius-Iulius-Caesar / StorageAndBufferManager

  View on GitHub
  USTC SSE 2022高级数据库技术期末实验
  ☆10Jan 13, 2023Updated 3 years ago
• jackwener / CS-Awesome-Book

  View on GitHub
  ☆10Sep 1, 2020Updated 5 years ago
• FinalTheory / LZW-Compress

  View on GitHub
  LZW压缩算法的完整实现
  ☆10Aug 14, 2014Updated 11 years ago
• Maoyao233 / MIPS_0_to_54

  View on GitHub
  Project for CS101016 and CS100160, Tongji University. Use Verilog HDL to build a CPU.
  ☆10Mar 20, 2021Updated 4 years ago
• BG2BKK / my_benchmark

  View on GitHub
  benchmark for linux server
  ☆13Nov 6, 2016Updated 9 years ago
• gzy02 / SysProgC

  View on GitHub
  23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~
  ☆12Mar 1, 2025Updated 11 months ago
• WangTingZheng / Paperdb

  View on GitHub
  A LevelDB for implementing LSM-related papers
  ☆11Aug 7, 2023Updated 2 years ago
• harperxiao / scala_learning

  View on GitHub
  scala学习
  ☆13Apr 22, 2020Updated 5 years ago
• jlu-xiurui / csapp-labs

  View on GitHub
  《深入理解计算机系统》-CSAPP的实验笔记、源码、答案（8个实验均已完结）
  ☆52May 17, 2022Updated 3 years ago
• jinhwindy / MIPS_CPU

  View on GitHub
  同济的计算机组成原理实验要求的54条指令CPU
  ☆13Feb 27, 2020Updated 5 years ago
• CSLiuPeng / NewHardwareDB-PaperList

  View on GitHub
  This is a paper list for new hardware database systems especially for gpu.
  ☆17Jun 2, 2024Updated last year
• WYGNG / USTC_SSE_Data-mining

  View on GitHub
  中国科学技术大学软件学院数据挖掘课程
  ☆13Sep 27, 2020Updated 5 years ago
• wangke0809 / Seckill

  View on GitHub
  ByteCamp 2019 高并发高可用秒杀系统设计与实现 工程赛道三等奖（字节跳动夏令营入营 Top 150 in 6000+，Team Top 3 in 16 ，秒杀赛场 Top 1)
  ☆15Nov 16, 2022Updated 3 years ago
• ChristopherChou / CPU31

  View on GitHub
  计算机组成原理-31条指令的MipsCPU
  ☆10Jan 6, 2021Updated 5 years ago
• curtis-sun / LLM4Rewrite

  View on GitHub
  ☆21Dec 2, 2025Updated 2 months ago
• jianhu-chen / Course-Choosing-SSE-USTC

  View on GitHub
  中科大软件学院研究生选课辅助系统
  ☆17Mar 7, 2019Updated 6 years ago
• terra-money / hive-graph

  View on GitHub
  GraphQL interface for Terra blockchain
  ☆16Aug 29, 2023Updated 2 years ago
• TjFish / FileManagement

  View on GitHub
  Tongji SE OS assignment 3 文件管理系统，参考linux0.11 源码实现。彩色命令行输出，代码含大量注释，可参照理解代码
  ☆23Jun 18, 2019Updated 6 years ago
• silverbullettt / SICP

  View on GitHub
  My solutions of exercises in SICP.
  ☆21Aug 14, 2012Updated 13 years ago
• PasaLab / SmartFD

  View on GitHub
  SmartFD: Efficient and Scalable Functional Dependency Discovery on Distributed Data-Parallel Platforms
  ☆18Aug 23, 2018Updated 7 years ago
• jonathanichikawa / for-all-x

  View on GitHub
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆20Apr 13, 2025Updated 10 months ago
• WYGNG / USTC_SSE_ImageProcessing

  View on GitHub
  中国科学院软件学院高级图像处理课程
  ☆18Oct 10, 2020Updated 5 years ago
• WenTesla / tiktok

  View on GitHub
  字节跳动-青训营项目
  ☆20May 18, 2023Updated 2 years ago
• ustcadsl / depart

  View on GitHub
  ☆21Sep 20, 2023Updated 2 years ago
• luyi0619 / star

  View on GitHub
  GitHub Repo for STAR: Scaling Transactions through Asymmetric Replication
  ☆22Jun 28, 2019Updated 6 years ago
• tangyibo / DataMigrationTool

  View on GitHub
  将远程数据库（包括Oracle、SqlServer、MySQL）中的表拉取迁移到本地 的MySQL数据库中，提供MySQL自动建表与数据导入与增量计算功能。
  ☆23Nov 2, 2020Updated 5 years ago
• dengleitju / flatq

  View on GitHub
  轻量级分布式消息队列
  ☆24Jan 29, 2015Updated 11 years ago
• kunrenyale / CalvinDB

  View on GitHub
  Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)
  ☆24Dec 15, 2019Updated 6 years ago
• 15Koala / safe

  View on GitHub
  基于区块链的去中心化数据交易平台
  ☆27May 9, 2018Updated 7 years ago
• lingbai-kong / MIPS89-pipeline-CPU

  View on GitHub
  同济大学CS《计算机系统实验》实验一TongJi University CS computer system experiment assignment 1
  ☆16May 19, 2023Updated 2 years ago
• flippingbits / cssl

  View on GitHub
  Cache-Sensitive Skip List.
  ☆22Mar 9, 2018Updated 7 years ago
• ShenaoW / CISCNThesis

  View on GitHub
  全国大学生信息安全竞赛作品赛 非官方 LaTex 论文模板
  ☆27Dec 5, 2023Updated 2 years ago