jadon's starred repositories
SGEMM_CUDA
Fast CUDA matrix multiplication from scratch
ThunderKittens
Tile primitives for speedy kernels
ziggy-pydust
A toolkit for building Python extensions in Zig.
interface.zig
Dynamic dispatch for zig made easy
zig-validate
A type validation library for writing a zero-cost, declarative, understandable, generic code in zig.
verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
blue-recorder
Simple Screen Recorder written in Rust based on Green Recorder
hammerspoon
Staggeringly powerful macOS desktop automation with Lua
PaperWM.spoon
Tiled scrollable window manager for MacOS
dream-html
Render HTML, SVG, MathML, htmx markup from your OCaml Dream backend server