Lists (2)
Starred repositories
A skill to stop your coding agent from burying the answer. ADHD-friendly output.
Weighs the soul of incoming HTTP requests to stop AI crawlers
A benchmark for evaluating the efficiency of LLM-generated code
A tool for management of semantic data specifications
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Exocompilation for productive programming of hardware accelerators
KaMPIng: (Near) zero-overhead MPI wrapper for modern C++
MACE-like model finder for algebraic structures.
a language for fast, portable data-parallel computation
Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.
KernelBench: Can LLMs Write GPU Kernels? - Benchmark + Toolkit with Torch -> CUDA (+ more DSLs)
Experimental Explicit Communications API for Kokkos
CUDA Templates and Python DSLs for High-Performance Linear Algebra
🔵🟠 Portal Explorer — web visualization of mind-blowing portals using ray-tracing.
EditorConfig universal issue tracker and wiki
LiveBench: A Challenging, Contamination-Free LLM Benchmark