Lists (3)
Starred repositories
🦄 ai that works - every tuesday 10 AM PST
Machine Learning Engineering Open Book
🤗 smolagents: a barebones library for agents that think in code.
Mirage Persistent Kernel: Compiling LLMs into a MegaKernel
It is an LLM-based AI agent, which can write correct and efficient gpu kernels automatically.
Verified tensor graph optimization in Lean 4: constructive soundness proofs + equality saturation + verified extraction via e-graph↔circuit bijection + multi-target code generation.
Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build prova…
Row-wise block scaling for fp8 quantization matrix multiplication. Solution to GPU mode AMD challenge.
A lightweight multi-GPU inference engine for LLMs on mid/low-end GPUs.
A Flexible Framework for Experiencing Heterogeneous LLM Inference/Fine-tune Optimizations
Open-source CUDA compiler targeting multiple GPU architectures. Compiles .cu to AMD and Tenstorrent GPU's
Intel® Nervana™ reference deep learning framework committed to best performance on all hardware
An ARC-AGI solution using Agentica from Symbolica
ALMA (Automated meta-Learning of Memory designs for Agentic systems) is a framework that meta-learns memory designs to replace human-engineered designs for agentic system.
A huge collection of VHDL/Verilog open-source IP cores scraped from the web
[KernelGYM & Dr. Kernel] A distributed GPU environment and a collection of RL training methods to support RL for Kernel Generations
Multi-agent communication extension for pi coding agent
A collection of GPU kernels and other experiments comparing Torch, Triton etc to Modular/Mojo
The World's First Agentic IDE. Visual dashboard: live sessions, task management, code editor, terminal. Epic Swarm parallel workflows. Auto-proceed rules. Automation patterns. Beads + Agent Mail +…