Alternatives and similar repositories for twitchctw:

Users that are interested in twitchctw are comparing it to the libraries listed below

• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆108Updated 4 years ago
• geohot / battlechess
  A distributed decentralized chess tournament
  ☆97Updated last year
• geohot / coq-hardy
  Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
  ☆53Updated 5 years ago
• geohot / carla
  Open-source simulator for autonomous driving research.
  ☆22Updated 5 years ago
• marcelbischoff / tinygrad
  You like pytorch? You like micrograd? You love tinygrad! ❤️
  ☆49Updated 4 years ago
• tinygrad / tinyxxx
  tiny corporation website
  ☆6Updated this week
• geohot / edgetpuxray
  Enabling tinygrad compatibility with the Google Edge TPU
  ☆76Updated 7 months ago
• mertyildiran / ldca
  Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)
  ☆59Updated 4 years ago
• smukil / chatgptredisclient
  A distributed, fault-tolerant Redis Client POC completely written by prompting ChatGPT.
  ☆15Updated 2 years ago
• geohot / tinydreamer
  An implementation of delta-iris in tinygrad
  ☆72Updated 7 months ago
• geohot / gpunoob
  Noob Lessons from Stream about how GPUs work
  ☆67Updated this week
• vvaltchev / mylang
  A simple programming language inspired by Python, JavaScript and C
  ☆34Updated 9 months ago
• tinygrad / tinybox
  Scripts and environment for the tinybox
  ☆93Updated 11 months ago
• unixpickle / learn-quantum
  Learning about quantum computing
  ☆37Updated 5 years ago
• cpq / asmbot
  Simple IRC bot written in x86 assembly
  ☆15Updated 11 years ago
• TheRealMichaelWang / fastcode
  A unique blend of C, Java, and Python tailored for those who desire a simple yet powerful programming language.
  ☆29Updated 3 years ago
• arshajii / rho
  The Rho programming language
  ☆24Updated 7 years ago
• haraschax / PerplexingPuzzle
  Digital version of the asymptote puzzle by perplexingpuzzles.com.au
  ☆30Updated 3 years ago
• jlhonora / asm-examples
  Assembly examples for x86-64 System V
  ☆21Updated 4 years ago
• 0jk6 / hos-x86
  A simple Unix like operating system from scratch.
  Updated 4 years ago
• thesephist / august
  Assembler from scratch written in Ink, supporting ELF on x86_64 and more.
  ☆24Updated 3 years ago
• harryli0088 / hamming-code
  ☆39Updated 3 years ago
• tsoding / cxx-invert-file-tree
  This is like Inverting Binary Tree, but instead of a Binary Tree it's a File Tree.
  ☆13Updated 3 years ago
• geohot / examples
  A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.
  ☆10Updated last month
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 11 months ago
• geohot / ai-notebooks
  Some ipython notebooks implementing AI algorithms
  ☆1,319Updated 5 months ago
• battlecode / battlecode20
  Battlecode 2020 🍜
  ☆5Updated 4 years ago
• tigertv / compiler
  a simple compiler
  ☆18Updated 5 years ago
• mat-sz / pongloader
  🏓 Pong in 512 bytes. (boot sector)
  ☆94Updated last year
• Battelle / reductio
  An exploration of code homeomorphism
  ☆34Updated 7 years ago