jwtowner

jwtowner's Stars

• microsoft/generative-ai-for-beginners

  21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

  Language:Jupyter Notebook65.3k56112933.4k

• karpathy/llm.c

  LLM training in simple, raw C/CUDA

  Language:Cuda24.5k2461412.8k

• hpcaitech/Open-Sora

  Open-Sora: Democratizing Efficient Video Production for All

  Language:Python22.3k1875122.2k

• apple/pkl

  A configuration as code language with rich validation and tooling.

  Language:Java10.4k57253280

• dair-ai/ML-Papers-of-the-Week

  🔥Highlighting the top ML papers every week.

  10.3k8735607

• rustformers/llm

  [Unmaintained, see README] An ecosystem of Rust libraries for working with large language models

  Language:Rust6.1k50231363

• epezent/implot

  Immediate Mode Plotting

  Language:C++4.8k88353532

• hanickadot/compile-time-regular-expressions

  Compile Time Regular Expression in C++

  Language:C++3.4k65240187

• iree-org/iree

  A retargetable MLIR-based machine learning compiler and runtime toolkit.

  Language:C++2.9k884k621

• NVIDIA/ChatRTX

  A developer reference project for creating Retrieval Augmented Generation (RAG) chatbots on Windows using TensorRT-LLM

  Language:TypeScript2.8k6282343

• AbanteAI/rawdog

  Generate and auto-execute Python scripts in the cli

  Language:Python1.8k1632140

• microsoft/vscode-ai-toolkit

  1.2k256265

• Vahe1994/AQLM

  Official Pytorch repository for Extreme Compression of Large Language Models via Additive Quantization https://arxiv.org/pdf/2401.06118.pdf and PV-Tuning: Beyond Straight-Through Estimation for Extreme LLM Compression https://arxiv.org/abs/2405.14852

  Language:Python1.2k1991178

• svpino/alloy-voice-assistant

  Language:Python8901310261

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++848401.3k264

• AliveToolkit/alive2

  Automatic verification of LLVM optimizations

  Language:C++79724485102

• ezelikman/quiet-star

  Code for Quiet-STaR

  Language:Python654121289

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  50456938

• llvm/Polygeist

  C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!

  Language:C++49121137117

• leosmigel/analyzingalpha

  Language:Python477278202

• harvardnlp/namedtensor

  Named Tensor implementation for Torch

  Language:Jupyter Notebook443223142

• FT-Labs/pdwm

  full animation supported, easy configurable (uses shared library) dwm fork with a control center (pdwmc)

  Language:C420102817

• trailofbits/vast

  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

  Language:C++3972534724

• MIT-SPARK/Khronos

  Spatio-Temporal Metric-Semantic SLAM

  Language:C++30932816

• kijai/ComfyUI-DiffusersStableCascade

  Simple inference with StableCascade using diffusers in ComfyUI

  Language:Python30571654

• C0nsumption/Consume-ComfyUI-Workflows

  A collection of some of my basic ComfyUI workflows. These are meant to act as building block to construct larger workflows of your own.

  24010410

• virattt/financial-datasets

  Financial datasets for LLMs 🧪

  Language:Python2338131

• yxli2123/LoftQ

  Language:Python19943819

• opencompl/lean-mlir

  A minimal development of SSA theory

  Language:MLIR8869610

• Nearcyan/papers.day

  papers.day

  Language:Python79375