Pinned Repositories
ChatTool
Toolkit for Chat API.
LeetCode.jl
A community driven project to provide solutions for LeetCode problems in the Julia programming language.
QRCoders.jl
Creating QR Codes within Julia
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
lean-zh.github.io
Homepage of the Lean-zh website.
lean4game
Server to host lean games.
CausalLM-Lit
基于 Lightning 的训练语言模型的框架,目前限定模型架构为 DecoderOnly,方便自定义数据,并且集成 trl 强化学习框架。
chattool
ChatAPI toolkit
rubik_cube.py
pyautogui + kociemba | auto-solver of Rubik's cube
ZBar.jl
Julia wrapper for ZBar
RexWzh's Repositories
RexWzh/SingularVectors.jl
Julia tools for finding odd singular vector formula of Lie superalgebras.
RexWzh/leetcode_note.jl
temp notes for leetcode exercise
RexWzh/binary_tree
二叉树优化问题
RexWzh/CLIP
Contrastive Language-Image Pretraining
RexWzh/CodeRL
This is the official code for the paper CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning.
RexWzh/Convolution2d.jl
playground demo package for Julia mini-class in ECNU
RexWzh/GAP.jl
GAP packages for Julia integration
RexWzh/Gapjm.jl
Experimental port of some GAP functionality to Julia
RexWzh/Hecke.jl
Computational algebraic number theory
RexWzh/ImageCore.jl
Julia types for representing images
RexWzh/ImageIO.jl
Load images in Julia. Designed for FileIO interaction. Supports PNG and Portable Bitmap formats
RexWzh/julia
The Julia Programming Language
RexWzh/Julia_and_its_applications
《Julia 语言及其应用》系列讲座的材料
RexWzh/JuLie.jl
Mathematically sound structures and fast algorithms for things around representation theory, especially algebraic Lie theory and accompanying combinatorics.
RexWzh/latex_tools.py
use python to generate latex code
RexWzh/lean2md
RexWzh/LeetCode.jl
A community driven project to provide solutions for LeetCode problems in the Julia programming language.
RexWzh/manim
Animation engine for explanatory math videos
RexWzh/MathLink.jl
Julia language interface for Mathematica/Wolfram Engine
RexWzh/NLPer-Interview
该仓库主要记录 NLP 算法工程师相关的面试题
RexWzh/Oscar.jl
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
RexWzh/python-qrcode
Python QR Code image generator
RexWzh/qrbtf
An art QR code (qrcode) beautifier. 艺术二维码生成器。https://qrbtf.com
RexWzh/sage
my sagemath project
RexWzh/sage-1
Mirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/
RexWzh/Singular.jl
Julia package for the Singular library
RexWzh/SingularVector.mma
Finding singular vector formulas using Mathematica.
RexWzh/SingularVector.sage
SageMath tools for finding odd singular vector formula of Lie superalgebras.
RexWzh/Symbolics.jl
A fast and modern CAS for a fast and modern language.
RexWzh/WeylGroupExtension