Popular repositories Loading

1. kanban kanban Public

   Forked from fulsomenko/kanban

   Terminal based project management solution

   Rust 2

2. Railway12306-CS3604 Railway12306-CS3604 Public

   A ticket booking system modeled after the 12306 train ticket booking system for CS3604 course in SJTU

   TypeScript 1 6

3. ChCore_lab_1 ChCore_lab_1 Public

   Forked from Lijiaxin0111/ChCore_lab

   SJTU_OS_3601 2023

   C 1

4. certified-vs-uncertified-dag-bft certified-vs-uncertified-dag-bft Public

   本仓库为区块链课程大作业的研究项目,围绕 DAG-based BFT 共识中 certified 与 uncertified 设计的对比展开。项目提出一个以安全性与活性不变量为边界的受控分析框架,隔离认证强度这一单一变量,论证移除认证并非可分 离的性能优化,而是一次结构性替换。实验部分包含 SimPy 仿真与真实 Sui 网络(n=7/n=4)的受控故障注入部署(290+ 次重复),验证了故...

   Python 1

5. marin marin Public

   Forked from marin-community/marin

   Open-source framework for the research and development of foundation models.

   Python 1

6. 10ten-ja-reader 10ten-ja-reader Public

   Forked from birchill/10ten-ja-reader

   A browser extension to translate Japanese by hovering over words.

   TypeScript 1