Pinned Repositories
chroma
the AI-native open-source embedding database
ColossalAI
Making big AI models cheaper, easier, and more scalable
DeeperSpeed
DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.
gpt-neox
An implementation of model parallel autoregressive transformers on GPUs, based on the DeepSpeed library.
langchain
⚡ Building applications with LLMs through composability ⚡
lean-gym
leaven
mathlib4
The math library of Lean 4
repl
A simple REPL for Lean 4, returning information about errors and sorries.
SYSU-Recommendation-Letter-Template
xinhjBrant's Repositories
xinhjBrant/leaven
xinhjBrant/SYSU-Recommendation-Letter-Template
xinhjBrant/mathlib4
The math library of Lean 4
xinhjBrant/repl
A simple REPL for Lean 4, returning information about errors and sorries.
xinhjBrant/chroma
the AI-native open-source embedding database
xinhjBrant/ColossalAI
Making big AI models cheaper, easier, and more scalable
xinhjBrant/DeeperSpeed
DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.
xinhjBrant/gpt-neox
An implementation of model parallel autoregressive transformers on GPUs, based on the DeepSpeed library.
xinhjBrant/langchain
⚡ Building applications with LLMs through composability ⚡
xinhjBrant/lean-gym
xinhjBrant/lean_proof_recording
Proof recording for Lean 3
xinhjBrant/lean_zulip
xinhjBrant/prime-number-theorem
xinhjBrant/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
xinhjBrant/lego-prover
xinhjBrant/lm-evaluation-harness
A framework for few-shot evaluation of language models.
xinhjBrant/lobe-chat
🤯 Lobe Chat - an open-source, modern-design AI chat framework. Supports Multi AI Providers( OpenAI / Claude 3 / Gemini / Ollama / Qwen / DeepSeek), Knowledge Base (file upload / knowledge management / RAG ), Multi-Modals (Vision/TTS/Plugins/Artifacts). One-click FREE deployment of your private ChatGPT/ Claude application.
xinhjBrant/open-canvas
📃 A better UX for chat, writing content, and coding with LLMs.
xinhjBrant/pyprobml
Python code for "Probabilistic Machine learning" book by Kevin Murphy
xinhjBrant/PythonNotebook
xinhjBrant/vscode-lean
An extension for VS Code which provides support for the Lean language.
xinhjBrant/xinhjBrant.github.io