Skip to content
View ShouxinZhang's full-sized avatar

Highlights

  • Pro

Block or report ShouxinZhang

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Python 36 2 Updated Sep 23, 2025

a collection of AWESOME things about Optimal Transport in Deep Learning

311 29 Updated May 11, 2024

Implementation of Motion Planning via Optimal Transport (MPOT) in PyTorch, NeurIPS 2023.

Python 62 11 Updated Oct 17, 2023

Source Code for the ICML Paper "Curriculum Reinforcement Learning via Constrained Optimal Transport"

C++ 14 1 Updated Jun 9, 2022

The Lean 4 web editor

TypeScript 112 40 Updated Sep 7, 2025

The mirror of RL_Coding_Exercise.

Python 110 9 Updated Sep 4, 2024

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

MATLAB 12,401 1,188 Updated Oct 12, 2025

The matrix cookbook, proved in the Lean theorem prover

Lean 121 17 Updated Sep 16, 2025

Follow GTM083 7.1 to get started in Iwasawa Theory

Lean 3 Updated Jan 5, 2025

Verified efficient algorithms in Lean4.

Lean 30 Updated Aug 16, 2025

逆向claude网页端成openai以及claude api的形式

Go 27 4 Updated Jul 13, 2023

This project provides an unofficial API for Claude AI, allowing users to access and interact with Claude AI .

Python 854 138 Updated Aug 17, 2024

A curated list of resources for Image and Video Deblurring

2,736 376 Updated Jun 29, 2025

🐾 Miscellanious projects during 2014-2018 in Dept. of Electronic Engineering, Tsinghua University

MATLAB 25 5 Updated Mar 29, 2019

Implementation of the paper, "LIME: Low-Light Image Enhancement via Illumination Map Estimation"

MATLAB 105 21 Updated Jan 12, 2021