geohot / twitchctwLinks
compression = AI
☆53Updated 2 years ago
Alternatives and similar repositories for twitchctw
Users that are interested in twitchctw are comparing it to the libraries listed below
Sorting:
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- It's a poorly named metamath verifier☆110Updated 5 years ago
- A distributed decentralized chess tournament☆97Updated 2 years ago
- ever wonder how to raytrace? me too. i love america☆26Updated 9 years ago
- You like pytorch? You like micrograd? You love tinygrad! ❤️☆49Updated 4 years ago
- Enabling tinygrad compatibility with the Google Edge TPU☆79Updated last year
- C++ Big Integer Library☆20Updated 4 years ago
- A small C compiler written in Python for learning purposes☆41Updated 7 years ago
- My OS study following Broken Thorn OS series: http://www.brokenthorn.com/Resources/OSDevIndex.html☆64Updated 9 years ago
- The best way to publish your scientific knowledge. Source code for the entire OurBigBook Project: OurBigBook.com, ourbigbook CLI and the …☆98Updated last week
- A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training☆39Updated 5 years ago
- Letting computers listen to you and really care☆372Updated 3 years ago
- Learning about quantum computing☆37Updated 6 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- Cellular automata search program☆26Updated 3 years ago
- Scripts and environment for the tinybox☆95Updated last year
- Program a bot using assembly-like code in this competitive game!☆59Updated 4 years ago
- Implementation of a Turing Machine that runs the Busy Beaver programs.☆22Updated 15 years ago
- C. elegans robots☆25Updated 3 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Busy Beaver deciders backed by Coq proof☆54Updated 6 months ago
- ☆18Updated last year
- ☆22Updated 3 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆22Updated 2 years ago
- A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.☆12Updated 6 months ago
- Minimal C subset compiler☆36Updated 4 years ago
- The collection of useful resources for OS development☆61Updated 8 years ago
- A curated list of awesome resources and learning materials in the field of X internals☆140Updated last year
- A Python implementation to convert a Deterministic Finite Automata to Regular Expression using state elimination method☆21Updated 7 years ago
- A MiniJava compiler written in C++, focusing on speed of compilation, simplicity and (somewhat) nice error messages.☆47Updated 3 years ago