Lists (1)
Stars
5
stars
written in Python
Clear filter
A collection of familiar, friendly, and modern emoji from Microsoft
The agent skills I use every day. Works with Claude Code and Codex.
FP16xINT4 LLM inference kernel that can achieve near-ideal ~4x speedups up to medium batchsizes of 16-32 tokens.
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
The first ever Lego robot to solve a random Rubik's Cube in under 1 second.