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/ZBar.jl
Julia wrapper for ZBar
RexWzh/ChatAPICall.jl
A simple wrapper of the openai api.
RexWzh/Beefalo
基于PyQt5的启动器,实现Wox功能(Windows下的Alfred)。
RexWzh/chat_api_call
API calling for open-source large language models
RexWzh/ChatGLM-6B
ChatGLM-6B:开源双语对话语言模型 | An Open Bilingual Dialogue Language Model
RexWzh/chatgpt_academic
科研工作专用ChatGPT拓展,特别优化学术Paper润色体验,支持自定义快捷按钮,支持markdown表格显示,Tex公式双显示,代码显示功能完善,新增本地Python工程剖析功能/自我剖析功能
RexWzh/ChatTools.jl
A Julia package designed to provide various tools based on the GPT-liked API.
RexWzh/Clang.jl
Julia interface to libclang
RexWzh/ClimateTools.jl
Climate science package for Julia
RexWzh/Dagger.jl
A framework for out-of-core and parallel execution
RexWzh/draft_sketch_prove
RexWzh/extremal_graph_mma
some verification about extremal graphs
RexWzh/GAP
small items of GAP
RexWzh/GLM-130B
GLM-130B: An Open Bilingual Pre-Trained Model (ICLR 2023)
RexWzh/GoogleTranslates.jl
Scripts for translating markdown files
RexWzh/JuliaZH.jl
Julia语言中文文档
RexWzh/m2w
Automatically upload and update local markdown to WordPress via Python
RexWzh/mathlib
Lean mathematical components library
RexWzh/mathlib4
Work in progress mathlib port for lean 4
RexWzh/MeetUpMaterials
Julia中文社区活动的各种材料 Meetup Materials
RexWzh/my-chatgpt
RexWzh/natural_number_game
Building the natural numbers in Lean.
RexWzh/OpenAI.jl
OpenAI API wrapper for Julia
RexWzh/ProofNet
Benchmark for undergraduate-level formal mathematics
RexWzh/QRCoders.jl
Creating QR Codes within Julia
RexWzh/QRDecoders.jl
OSPP'22 project repository for QR format decoder support
RexWzh/WebQQPet
《Q宠》相伴十三载,修改免登录版
RexWzh/Yggdrasil
Collection of builder repositories for BinaryBuilder.jl
RexWzh/zbar
ZBar is an open source software suite for reading bar codes from various sources, including webcams. As its development stopped in 2012, I took the task of keeping it updated with the V4L2 API. This is the main repository for it. There's a clone at at LinuxTV.org, and another one at gitlab.
RexWzh/zh
中文roadmap(源文档部分)