Giters
RickySkywalker

RickySkywalker

Geek Repo

7

followers

0

following

5

stars

Github PK Tool:Github PK Tool

RickySkywalker's repositories

My_Mathlib4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

miniF2F-lean4

Language:LeanLicense:MITStargazers:0Issues:0Issues:0

Synthesis_Step-by-Step_Official

Language:PythonStargazers:21Issues:0Issues:0

SR-PredictAO-official

Language:PythonStargazers:7Issues:0Issues:0

DragVideo-Official

This is the official implementation for DragVideo

Stargazers:33Issues:0Issues:0

61BL-published-repo

Language:JavaStargazers:0Issues:0Issues:0