xu3kev

xu3kev's Stars

• karpathy/llm.c

  LLM training in simple, raw C/CUDA

  Language:Cuda25k2521412.8k

• tmuxinator/tmuxinator

  Manage complex tmux sessions easily

  Language:Ruby12.8k147517628

• jeffreytse/zsh-vi-mode

  💻 A better and friendly vi(vim) mode plugin for ZSH.

  Language:Shell3.4k15247118

• pytorch/torchtitan

  A PyTorch native library for large model training

  Language:Python3k47212239

• nus-apr/auto-code-rover

  A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 37.3% tasks (pass@1) in SWE-bench lite and 46.2% tasks (pass@1) in SWE-bench verified with each task costs less than $0.7.

  Language:Python2.8k3049298

• facebookresearch/schedule_free

  Schedule-Free Optimization in PyTorch

  Language:Python2k153370

• jacobhilton/deep_learning_curriculum

  Language model alignment-focused deep learning curriculum

  1.3k171109

• RahulSChand/gpu_poor

  Calculate token/s & GPU memory requirement for any LLM. Supports llama.cpp/ggml/bnb/QLoRA quantization

  Language:JavaScript1.2k71661

• facebookresearch/llm-transparency-tool

  LLM Transparency Tool (LLM-TT), an open-source interactive toolkit for analyzing internal workings of Transformer-based language models. *Check out demo at* https://huggingface.co/spaces/facebook/llm-transparency-tool-demo

  Language:Python788611857

• evilsocket/nerve

  Create LLM agents without writing code.

  Language:Rust706141340

• geohot/7900xtx

  Language:Python378181126

• facebookresearch/searchformer

  Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".

  Language:Jupyter Notebook3485118

• rgreenblatt/arc_draw_more_samples_pub

  Draw more samples

  Language:Python1826324

• IBM/SALMON

  Self-Alignment with Principle-Following Reward Models

  Language:Python1506314

• zhangir-azerbayev/ProofNet

  Benchmark for undergraduate-level formal mathematics

  Language:Lean977815

• hengjiUSTC/learn-llm

  Language:Jupyter Notebook932317

• volotat/ARC-Game

  The Abstraction and Reasoning Corpus made into a web game

  Language:JavaScript87186

• cyzhh/MMOS

  Mix of Minimal Optimal Sets (MMOS) of dataset has two advantages for two aspects, higher performance and lower construction costs on math reasoning.

  Language:Python71263

• SpellcraftAI/turing

  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.

  Language:TypeScript60236

• gpt4thewin/docker-nginx-openai-api-cache

  A nginx and docker built reverse proxy server to cache the slow expensive requests to the openai api.

  561218

• character-ai/MuKoe

  Language:Python52307

• tydeu/lean4-alloy

  Write C shims from within Lean code.

  Language:Lean514315

• ammkrn/nanoda_lib

  Library implementing type inference/checking functionality based on the Lean theorem prover

  Language:Rust46522

• lenianiva/PyPantograph

  A Machine-to-Machine Interaction System for Lean 4.

  Language:TeX36498

• fpvandoorn/LeanCourse23

  Language:Lean282020

• VictorTaelin/ab_challenge_eval

  Evaluator for the A::B Prompting Challenge

  Language:JavaScript26203

• Chillee/llm.c

  LLM training in simple, raw C/CUDA

  Language:Cuda1800

• evanthebouncy/larc_gpt4

  larc solving with gpt4

  Language:Python18901

• ellisk42/LambdaBeam

  Language:Python10205

• kassane/lean4-zig

  Zig bindings for Lean4

  Language:Zig8051