fy222fy

Pinned Repositories

Dengluyi
Dengluyi verification
0 1 00
EasyLogin
DENGLUYI'S VERIFICTION
0 1 00
FATE
An Industrial Grade Federated Learning Framework
Language:Python0 0 00
FIDO-UAF-analysis
Codes for analyze FIDO UAF protocol via ProVerif
0 0 00
Formal-methods
A repository of some summary about formal methods
Language:TeX1 1 00
myDBS
my database system
Language:C++0 1 00
myTetris
a free fall tetris games
0 1 00
secretflow
A unified framework for privacy-preserving data analysis and machine learning
Language:Python0 0 00
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.
Language:Python32.9k 475 18.3k5.6k
secretflow
A unified framework for privacy-preserving data analysis and machine learning
Language:Python2.3k 52 806380

fy222fy's Repositories

fy222fy/Formal-methods
A repository of some summary about formal methods
Language:TeX1 1 00
fy222fy/Dengluyi
Dengluyi verification
0 1 00
fy222fy/EasyLogin
DENGLUYI'S VERIFICTION
0 1 00
fy222fy/FATE
An Industrial Grade Federated Learning Framework
Language:Python0 0 00
fy222fy/FIDO-UAF-analysis
Codes for analyze FIDO UAF protocol via ProVerif
0 0 00
fy222fy/myDBS
my database system
Language:C++0 1 00
fy222fy/myTetris
a free fall tetris games
0 1 00
fy222fy/secretflow
A unified framework for privacy-preserving data analysis and machine learning
Language:Python0 0 00