geohot / solidity
☆62Updated 4 years ago
Related projects: ⓘ
- A distributed decentralized chess tournament☆96Updated last year
- Bridge between L1 (Ethereum) and L2 (cheapETH)☆111Updated 3 years ago
- Computing digits of pi for the people☆69Updated 3 years ago
- A simple Ethereum mining pool☆92Updated 3 years ago
- ☆69Updated 3 years ago
- It's a poorly named metamath verifier☆106Updated 4 years ago
- ☆69Updated 2 years ago
- Enabling tinygrad compatibility with the Google Edge TPU☆75Updated 2 weeks ago
- Official Go implementation of the Ethereum protocol☆96Updated 3 years ago
- Sniff CUDA ioctls☆174Updated last year
- mergesort in many languages☆262Updated 10 months ago
- compression = AI☆54Updated last year
- It's a core. Made on Twitch.☆248Updated 2 years ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆53Updated 5 years ago
- Tic Tac Toe in React because it is Simple Skills Sunday☆99Updated last year
- ☆35Updated 5 years ago
- Optimism Deployment on the cheapETH network☆22Updated 3 years ago
- You like pytorch? You like micrograd? You love tinygrad! ❤️☆49Updated 3 years ago
- Letting computers listen to you and really care☆365Updated 2 years ago
- A tool for polygonal segmentation, created with Angular + D3☆43Updated last year
- Like some files bro☆398Updated last year
- Only you can complete you :)☆71Updated 3 years ago
- Open-source simulator for autonomous driving research.☆22Updated 4 years ago
- ☆104Updated this week
- Terminal like Geohot aka George Hotz. UPDATED VERSION LIKE IN STREAM☆125Updated 3 years ago
- A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training☆35Updated 4 years ago
- Test Apple Neural Engine☆36Updated 5 years ago
- Scripts and environment for the tinybox☆92Updated 4 months ago
- ☆20Updated this week