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
• WYGNG / USTC_SSE_CSAPP

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

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

  View on GitHub
  Platform + GUI for hyperparameter optimization of recurrent neural networks (MATLAB).
  ☆10Dec 29, 2021Updated 4 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
• WangTingZheng / Paperdb

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

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

  View on GitHub
  scala学习
  ☆13Apr 22, 2020Updated 5 years ago
• devsapp / start-serverless-webide

  View on GitHub
  serverless vscode webide
  ☆17Apr 14, 2023Updated 2 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_Software_Architectural

  View on GitHub
  中国科学技术大学软件学院软件体系结构课程
  ☆15Oct 10, 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
• OSH-2019 / x-monthly-subscription

  View on GitHub
  Dataflow-driven data packet processing on Agilio CX SmartNIC 2x10Gbe, aimed at low latency.
  ☆22Jul 7, 2019Updated 6 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
• GoAlers / Spark-Movie

  View on GitHub
  Spark电影数据分析实战，利用spark开发针对用户观影等历史行为数据进行采集、分析和展示
  ☆21Feb 3, 2021Updated 5 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
• DIR-LAB / ycsb-storedsbench

  View on GitHub
  A Performance Study of Optane Persistent Memory: From Indexing Data Structures’ Perspective [MSST'20]
  ☆20Oct 29, 2020Updated 5 years ago
• WYGNG / USTC_SSE_ImageProcessing

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

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

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

  View on GitHub
  校园表白墙/小情书 基于SpringBoot+MyBatis+shiro后端部分 演示地址//wall.conststar.cn/ 完整项目//github.com/star-love-letter
  ☆27Sep 20, 2022Updated 3 years ago
• 15Koala / safe

  View on GitHub
  基于区块链的去中心化数据交易平台
  ☆27May 9, 2018Updated 7 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
• jk316 / paper-on-LSM-Tree

  View on GitHub
  colletions of papers on LSM-Tree
  ☆22Mar 6, 2022Updated 3 years ago
• ShenghaiRong / suanfasheji2019

  View on GitHub
  ☆19Jun 20, 2019Updated 6 years ago
• ZhangJiaQiao / 2019-DBMS-Project

  View on GitHub
  This is the programmin project of DBMS course in 2019
  ☆19May 8, 2019Updated 6 years ago
• cnstark / ustc_adb_lab

  View on GitHub
  中科大《高级数据库系统》实验——Storage and Buffer Manager
  ☆23Dec 22, 2019Updated 6 years ago
• 1970633640 / USTC-Advanced-Database-System-Lab

  View on GitHub
  USTC Advanced Database System Lab Homework 中国科学技术大学高级数据库系统课程实验作业
  ☆27Dec 31, 2019Updated 6 years ago
• Shawn1993 / Kaggle-Quora-Pairs

  View on GitHub
  Implementation of 33th in Kaggle Competition - Quora Pairs
  ☆26Oct 26, 2017Updated 8 years ago
• hankcocco / fed-blockchain

  View on GitHub
  区块链+联邦学习+恶意检测算法
  ☆30Mar 5, 2021Updated 4 years ago
• yiwenshao / Practical-Cryptdb

  View on GitHub
  ☆25May 29, 2018Updated 7 years ago