Pinned Repositories
Dengluyi
Dengluyi verification
EasyLogin
DENGLUYI'S VERIFICTION
FATE
An Industrial Grade Federated Learning Framework
FIDO-UAF-analysis
Codes for analyze FIDO UAF protocol via ProVerif
Formal-methods
A repository of some summary about formal methods
myDBS
my database system
myTetris
a free fall tetris games
secretflow
A unified framework for privacy-preserving data analysis and machine learning
ray
Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
secretflow
A unified framework for privacy-preserving data analysis and machine learning
fy222fy's Repositories
fy222fy/Formal-methods
A repository of some summary about formal methods
fy222fy/Dengluyi
Dengluyi verification
fy222fy/EasyLogin
DENGLUYI'S VERIFICTION
fy222fy/FATE
An Industrial Grade Federated Learning Framework
fy222fy/FIDO-UAF-analysis
Codes for analyze FIDO UAF protocol via ProVerif
fy222fy/myDBS
my database system
fy222fy/myTetris
a free fall tetris games
fy222fy/secretflow
A unified framework for privacy-preserving data analysis and machine learning