Alternatives and similar repositories for edin-mls-25-spring

Users that are interested in edin-mls-25-spring are comparing it to the libraries listed below

• naklecha / llm-inference-optimizations-explained
  in this repository, i'm going to implement increasingly complex llm inference optimizations
  ☆60Updated last month
• cloneofsimo / ptx-tutorial-by-aislop
  PTX-Tutorial Written Purely By AIs (Deep Research of Openai and Claude 3.7)
  ☆66Updated 3 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆64Updated 5 months ago
• spikedoanz / from-bits-to-intelligence
  could we make an ml stack in 100,000 lines of code?
  ☆46Updated 11 months ago
• PiotrNawrot / sparse-frontier
  The evaluation framework for training-free sparse attention in LLMs
  ☆69Updated last week
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆84Updated 5 months ago
• gpu-mode / discord-cluster-manager
  Write a fast kernel and run it on Discord. See how you compare against the best!
  ☆46Updated this week
• mikaelhaji / n1-codec
  a highly efficient compression algorithm for the n1 implant (neuralink's compression challenge)
  ☆47Updated last year
• SzymonOzog / FastSoftmax
  ☆40Updated 5 months ago
• srush / LLM-Talk
  ☆51Updated last year
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆164Updated 2 weeks ago
• gau-nernst / learn-cuda
  Learn CUDA with PyTorch
  ☆27Updated this week
• siboehm / ShallowSpeed
  Small scale distributed training of sequential deep learning models, built on Numpy and MPI.
  ☆134Updated last year
• unixpickle / learn-ptx
  Learning about CUDA by writing PTX code.
  ☆132Updated last year
• pytorch-labs / tritonparse
  TritonParse is a tool designed to help developers analyze and debug Triton kernels by visualizing the compilation process and source code…
  ☆93Updated last week
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆532Updated this week
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆174Updated last year
• openmlsys / openmlsys-en
  《Machine Learning Systems: Design and Implementation》- English Version
  ☆25Updated 5 months ago
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆36Updated last year
• gpu-mode / ring-attention
  ring-attention experiments
  ☆144Updated 8 months ago
• xjdr-alt / mla_blog_translation
  ☆13Updated last year
• carlini / chess-llm
  Play chess against large language models.
  ☆47Updated last year
• salykova / sgemm.cu
  High-Performance SGEMM on CUDA devices
  ☆96Updated 5 months ago
• jxmorris12 / gptzip
  Losslessly encode text natively with arithmetic coding and HuggingFace Transformers
  ☆76Updated 10 months ago
• mcleish7 / arithmetic
  Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)
  ☆190Updated last year
• MDK8888 / vllmini
  A minimal implementation of vllm.
  ☆44Updated 11 months ago
• joey00072 / Tinytorch
  A really tiny autograd engine
  ☆94Updated last month
• Edward-Sun / gpt-accelera
  Simple and efficient pytorch-native transformer training and inference (batched)
  ☆76Updated last year
• spikedoanz / tensor-tic-tac-toe
  parallelized hyperdimensional tictactoe
  ☆117Updated 10 months ago
• sangmichaelxie / cs324_p2
  Project 2 (Building Large Language Models) for Stanford CS324: Understanding and Developing Large Language Models (Winter 2022)
  ☆105Updated 2 years ago