Xiang-Pan's Stars
mingrammer/diagrams
:art: Diagram as Code for prototyping cloud system architectures
atuinsh/atuin
✨ Magical shell history
EleutherAI/lm-evaluation-harness
A framework for few-shot evaluation of language models.
yetone/avante.nvim
Use your Neovim like using Cursor AI IDE!
wavetermdev/waveterm
An open-source, cross-platform terminal for seamless workflows
linkedin/Liger-Kernel
Efficient Triton Kernels for LLM Training
zhm-real/MotionPlanning
Motion planning algorithms commonly used on autonomous vehicles. (path planning + path tracking)
DeterminateSystems/nix-installer
Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 2 million installs.
leanprover-community/mathlib4
The math library of Lean 4
PufferAI/PufferLib
Simplifying reinforcement learning for complex game environments
bigcode-project/bigcode-evaluation-harness
A framework for the evaluation of autoregressive code generation language models.
prometheus-eval/prometheus-eval
Evaluate your LLM's response with Prometheus and GPT4 💯
yule-BUAA/MergeLM
Codebase for Merging Language Models (ICML 2024)
huwb/volsample
Structured Volume Sampling - sample placement algorithm for real-time volume rendering with low aliasing, for camera-in-volume case.
AlignmentResearch/tuned-lens
Tools for understanding how transformer predictions are built layer-by-layer
neuralmagic/sparsezoo
Neural network model repository for highly sparse and sparse-quantized models with matching sparsification recipes
sanderwood/bgpt
Beyond Language Models: Byte Models are Digital World Simulators
EleutherAI/sae
Sparse autoencoders
guilgautier/DPPy
Python toolbox for sampling Determinantal Point Processes
NoviScl/AI-Researcher
callummcdougall/sae_vis
Create feature-centric and prompt-centric visualizations for sparse autoencoders (like those from Anthropic's published research).
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
QwenLM/online_merging_optimizers
Implementations of online merging optimizers proposed by Online Merging Optimizers for Boosting Rewards and Mitigating Tax in Alignment
MANGA-UOFA/LMReward
The official repo for the paper "Teacher Forcing Recovers Reward Functions for Text Generation"
callummcdougall/sae-exercises-mats
alexjfoote/Neuron2Graph
Tools for exploring Transformer neuron behaviour, including input pruning and diversification.
dapivei/causal-infere
Causal Inference (DS-UA 201) – Fall 2024
dtch1997/sae-probe
Investigating the feasibility of using SAE features as a basis for sparse reconstructions of linear probes
JSerf02/Lean_Linear_Algebra
pratiksha/guardrail-baselines