wzj423

Pinned Repositories

DeepSpeedExamples
Example models using DeepSpeed
Language:Python0 0 00
InternLM-Math
Language:Python0 0 00
lean-dojo-mew
Language:Lean0 0 03
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python0 0 01
matlab-computer-vision-routines
Language:C++0 0 00
NLP_SLU
Language:Python0 1 00
OI
Archives of the problems I solved as an OI(Olympid Informatics) participant.
Language:C++0 1 00
SJTU-EE208-Proj
SJTU EE208 final project.
Language:Python0 1 00
sponge
CS144 Lab Assignments
Language:C++0 0 00
Stanford_CS143_COOL_Compiler
Labs(Programming Assignments) for Stanford's CS143 Compiler Course
Language:Makefile0 1 00

wzj423's Repositories

wzj423/DeepSpeedExamples
Example models using DeepSpeed
Language:Python0 0 00
wzj423/InternLM-Math
Language:Python0 0 00
wzj423/lean-dojo-mew
Language:Lean0 0 03
wzj423/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python0 0 01
wzj423/matlab-computer-vision-routines
Language:C++0 0 00
wzj423/NLP_SLU
Language:Python0 1 00
wzj423/OI
Archives of the problems I solved as an OI(Olympid Informatics) participant.
Language:C++0 1 00
wzj423/SJTU-EE208-Proj
SJTU EE208 final project.
Language:Python0 1 00
wzj423/sponge
CS144 Lab Assignments
Language:C++0 0 00
wzj423/Stanford_CS143_COOL_Compiler
Labs(Programming Assignments) for Stanford's CS143 Compiler Course
Language:Makefile0 1 00
wzj423/vscode-markdown-theme
preview theme for vscode markdown preview enhanced
Language:CSS0 0 00
wzj423/WhileDB
Final project for SJTU CS2612 Programming Languages and Compilers (2022 Fall)
Language:Coq1 0
wzj423/wzj423.github.io
Language:HTML0 0