Huajian Xin's repositories
chroma
the AI-native open-source embedding database
Language:PythonApache-2.0000
ColossalAI
Making big AI models cheaper, easier, and more scalable
Language:PythonApache-2.0000
DeeperSpeed
DeepSpeed is a deep learning optimization library that makes distributed training easy, efficient, and effective.
Language:PythonMIT000
gpt-neox
An implementation of model parallel autoregressive transformers on GPUs, based on the DeepSpeed library.
Language:PythonApache-2.0000
langchain
⚡ Building applications with LLMs through composability ⚡
Language:PythonMIT000
Language:LeanApache-2.0000
lean_proof_recording
Proof recording for Lean 3
Language:PythonApache-2.0000
000
Language:Lean000
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Language:C++MIT000
lm-evaluation-harness
A framework for few-shot evaluation of language models.
MIT000
pyprobml
Python code for "Probabilistic Machine learning" book by Kevin Murphy
Language:Jupyter NotebookMIT000
repl
A simple REPL for Lean 4, returning information about errors and sorries.
000
vscode-lean
An extension for VS Code which provides support for the Lean language.
Language:TypeScriptApache-2.0000
Language:JavaScript000