Pinned Repositories
askchat
Interact with ChatGPT in terminal via chattool
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.
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/rubik_cube.py
pyautogui + kociemba | auto-solver of Rubik's cube
RexWzh/chattool
ChatAPI toolkit
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/fp-lean
Functional Programming in Lean
RexWzh/hexo-theme-matery
A beautiful hexo blog theme with material design and responsive design.一个基于材料设计和响应式设计而成的全面、美观的Hexo主题。国内访问：http://blinkfox.com
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/LeetCode.jl
A community driven project to provide solutions for LeetCode problems in the Julia programming language.
RexWzh/LLMTranslator
Markdown translator using ChatGPT API
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/sage-1
Mirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/
RexWzh/theorem_proving_in_lean4
Theorem Proving in Lean 4
RexWzh/VPet
虚拟桌宠模拟器 一个开源的桌宠软件, 可以内置到任何WPF应用程序