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
  ☆109Updated 4 years ago
• geohot / battlechess
  A distributed decentralized chess tournament
  ☆97Updated 2 years ago
• geohot / coq-hardy
  Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
  ☆54Updated 6 years ago
• geohot / mergesorts
  mergesort in many languages
  ☆262Updated last year
• marcelbischoff / tinygrad
  You like pytorch? You like micrograd? You love tinygrad! ❤️
  ☆49Updated 4 years ago
• geohot / edgetpuxray
  Enabling tinygrad compatibility with the Google Edge TPU
  ☆78Updated 10 months ago
• geohot / hammer-website
  ☆69Updated 4 years ago
• geohot / twitchchess
  like twitchslam, for chess
  ☆364Updated last year
• geohot / tinyvoice
  Letting computers listen to you and really care
  ☆370Updated 3 years ago
• ShivamSarodia / ShivC
  A small C compiler written in Python for learning purposes
  ☆41Updated 7 years ago
• mikepound / feistel
  A toy Feistel network implementation
  ☆122Updated 5 years ago
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆59Updated 4 years ago
• 0jk6 / hos-x86
  A simple Unix like operating system from scratch.
  ☆1Updated 4 years ago
• barrettotte / perceptron-asm
  A single-layer perceptron in x86 assembly to distinguish between circles and rectangles.
  ☆27Updated 2 years ago
• manjunath5496 / Ken-Thompson-papers
  "When in doubt, use brute force." ― Kenneth Lane Thompson
  ☆38Updated 5 years ago
• jart / matmul
  ☆18Updated last year
• MarioGalindoQ / Bint
  C++ Big Integer Library
  ☆20Updated 4 years ago
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 9 years ago
• polylog-cs / universal-search
  April fools' day videos explaining Levin's universal search
  ☆36Updated 2 years ago
• pkrumins / busy-beaver
  Implementation of a Turing Machine that runs the Busy Beaver programs.
  ☆21Updated 15 years ago
• geohot / ai-notebooks
  Some ipython notebooks implementing AI algorithms
  ☆1,359Updated 2 months ago
• geekskool / WriteYourOwnOS
  Write your own simple OS
  ☆19Updated 10 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• cthiriet / femtoGPT
  a GPT in pure Python
  ☆10Updated last year
• thesephist / august
  Assembler from scratch written in Ink, supporting ELF on x86_64 and more.
  ☆25Updated 4 years ago
• Francesco149 / nolibc-httpd
  1kb single-page http server, static binary for linux x86_64
  ☆102Updated 4 months ago
• nomemory / integers-snake
  ☆22Updated 3 years ago
• harryli0088 / hamming-code
  ☆40Updated 3 years ago
• tuhdo / os-study
  My OS study following Broken Thorn OS series: http://www.brokenthorn.com/Resources/OSDevIndex.html
  ☆64Updated 9 years ago
• openworm / robots
  C. elegans robots
  ☆25Updated 3 years ago