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/academic-website
RexWzh/awesome-libgen
😎 Awesome list of Library Genesis, the world's largest free library.
RexWzh/BadAppleQArt
在二维码上播放bad apple
RexWzh/datacamp-light
Convert any blog or website to an interactive learning platform for data science
RexWzh/gap3-jm
gap3-jm distribution
RexWzh/haskell-learning
RexWzh/IGraphM
IGraph/M is the igraph interface for Mathematica
RexWzh/ImageMagick.jl
Thin Wrapper for the library ImageMagick
RexWzh/Lazy.jl
I was gonna maintain this package, but then I got high
RexWzh/lean-client-python
Python talking to the Lean theorem prover
RexWzh/LieAlg
Maple package for computations in infinite-dimensional Lie algebras, representations and vertex algebras
RexWzh/MathematicaClasslessObjects
Tools for creating classless objects, with prototype based inheritance, in Mathematica.
RexWzh/Metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
RexWzh/MTools
Object Oriented Programming in Mathematica 10+
RexWzh/NC
NCAlgebra - Non Commutative Algebra Package for Mathematica
RexWzh/nlp-tutorial
Natural Language Processing Tutorial for Deep Learning Researchers
RexWzh/PicBed
store pictures
RexWzh/Quantum-Computing
CMPT409 of Simon Fraser University
RexWzh/quantum-enveloping-superalgebras
A package for modeling aspects of quantum enveloping superalgebras associated to a generalized Cartan matrix
RexWzh/quantum-utils-mathematica
QuantumUtils for Mathematica is a software library for quantum information scientists.
RexWzh/Quirk
A drag-and-drop quantum circuit simulator that runs in your browser. A toy for exploring and understanding small quantum circuits.
RexWzh/ReusePatterns.jl
Implement composition and concrete subtyping in Julia.
RexWzh/rig
A GAP package for racks, quandles, Nichols algebras
RexWzh/Singular
for commutative algebras
RexWzh/SparseADRules.jl
RexWzh/sshfs
A network filesystem client to connect to SSH servers
RexWzh/typecho-theme-next
(重构中)Hexo 主题 NexT.Mist 的 Typecho 移植版
RexWzh/Yao.jl
Extensible, Efficient Quantum Algorithm Design for Humans.