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
QRDecoders.jl
OSPP'22 project repository for QR format decoder support
CausalLM-Lit
基于 Lightning 的训练语言模型的框架，目前限定模型架构为 DecoderOnly，方便自定义数据，并且集成 trl 强化学习框架。
ChatAPICall.jl
A simple wrapper of the openai api.
chattool
ChatAPI toolkit
JupyterNotebook
服务，项目，实验 Jupyter Notebook
rubik_cube.py
pyautogui + kociemba | auto-solver of Rubik's cube
ZBar.jl
Julia wrapper for ZBar
RexWzh's Repositories
RexWzh/rubik_cube.py
pyautogui + kociemba | auto-solver of Rubik's cube
RexWzh/chattool
ChatAPI toolkit
RexWzh/CausalLM-Lit
基于 Lightning 的训练语言模型的框架，目前限定模型架构为 DecoderOnly，方便自定义数据，并且集成 trl 强化学习框架。
RexWzh/JupyterNotebook
服务，项目，实验 Jupyter Notebook
RexWzh/BinaryBuilder.jl
Binary Dependency Builder for Julia
RexWzh/chatbot-ui
An open source ChatGPT UI.
RexWzh/chatgpt-web
用 Express 和 Vue3 搭建的 ChatGPT 演示网页
RexWzh/DB-GPT
Revolutionizing Database Interactions with Private LLM Technology
RexWzh/DemoPackages.jl
Source code for the JuliaCN 2023 workshop
RexWzh/devika
Devika is an Agentic AI Software Engineer that can understand high-level human instructions, break them down into steps, research relevant information, and write code to achieve the given objective. Devika aims to be a competitive open-source alternative to Devin by Cognition AI.
RexWzh/dify
An Open-Source Assistants API and GPTs alternative. Dify.AI is an LLM application development platform. It integrates the concepts of Backend as a Service and LLMOps, covering the core tech stack required for building generative AI-native applications, including a built-in RAG engine.
RexWzh/Electron-demo
Demo project for electron.
RexWzh/extremal_graph_mma
some verification about extremal graphs
RexWzh/fp-lean
Functional Programming in Lean
RexWzh/hexo-theme-next
🎉 Elegant and powerful theme for Hexo.
RexWzh/lean4
Lean 4 programming language and theorem prover
RexWzh/lean4-metaprogramming-book
RexWzh/leaven
RexWzh/LLMTranslator
Markdown translator using ChatGPT API
RexWzh/m2w
Automatically upload and update local markdown to WordPress via Python
RexWzh/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
RexWzh/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
RexWzh/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
RexWzh/ninja
🦀 Reverse engineered ChatGPT proxy
RexWzh/NNG4
Natural Number Game
RexWzh/one-api
OpenAI 接口管理 & 分发系统，支持 Azure、Anthropic Claude、Google PaLM 2 & Gemini、智谱 ChatGLM、百度文心一言、讯飞星火认知、阿里通义千问、360 智脑以及腾讯混元，可用于二次分发管理 key，仅单可执行文件，已打包好 Docker 镜像，一键部署，开箱即用. OpenAI key management & redistribution system, using a single API for all LLMs, and features an English UI.
RexWzh/ProjectIdeas
Project ideas for open source events, such as Open Source Promotion Plan (OSPP).
RexWzh/RexWzh
self-introduction
RexWzh/theorem_proving_in_lean4
Theorem Proving in Lean 4
RexWzh/VPet
虚拟桌宠模拟器 一个开源的桌宠软件, 可以内置到任何WPF应用程序