geohot / twitchctw
compression = AI
☆54Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for twitchctw
- A distributed decentralized chess tournament☆96Updated last year
- It's a poorly named metamath verifier☆107Updated 4 years ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆53Updated 5 years ago
- You like pytorch? You like micrograd? You love tinygrad! ❤️☆49Updated 3 years ago
- Open-source simulator for autonomous driving research.☆22Updated 4 years ago
- ever wonder how to raytrace? me too. i love america☆26Updated 8 years ago
- mergesort in many languages☆263Updated last year
- like twitchslam, for chess☆361Updated last year
- Tic Tac Toe in React because it is Simple Skills Sunday☆98Updated last year
- It's a core. Made on Twitch.☆251Updated 3 years ago
- ☆69Updated 3 years ago
- Enabling tinygrad compatibility with the Google Edge TPU☆75Updated 2 months ago
- Computing digits of pi for the people☆69Updated 3 years ago
- ☆62Updated 4 years ago
- Sniff CUDA ioctls☆178Updated last year
- Computation using data flow graphs for scalable machine learning☆13Updated 6 years ago
- A simple Ethereum mining pool☆92Updated 3 years ago
- A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training☆35Updated 4 years ago
- ctypes wrappers for HIP, CUDA, and OpenCL☆126Updated 4 months ago
- Battlecode 2020 🍜☆5Updated 3 years ago
- Improving Semantic Segmentation via Video Propagation and Label Relaxation☆17Updated 4 years ago
- Bridge between L1 (Ethereum) and L2 (cheapETH)☆114Updated 3 years ago
- HIPHOP (Handy Image Processing for Highly Over-caffeinated Programmers), a domain specific language for image processing.☆14Updated 3 years ago
- An implementation of delta-iris in tinygrad☆71Updated 3 months ago
- A toy superoptimizer for a limited assembly language.☆56Updated last year
- Because tinygrad got out of hand with line count☆145Updated last month
- How fast can we brute force a 64-bit comparison?☆52Updated 4 years ago
- Letting computers listen to you and really care☆367Updated 2 years ago