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
  ☆110Updated 5 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
  ☆263Updated last year
• openworm / robots
  C. elegans robots
  ☆25Updated 3 years ago
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆59Updated 4 years ago
• MarioGalindoQ / Bint
  C++ Big Integer Library
  ☆20Updated 4 years ago
• jart / matmul
  ☆18Updated last year
• geohot / minGPT
  A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
  ☆39Updated 5 years ago
• geohot / tinyvoice
  Letting computers listen to you and really care
  ☆371Updated 3 years ago
• gsurma / meta_intelligence
  AI research environment for program generation.
  ☆27Updated 2 years ago
• nomemory / integers-snake
  ☆22Updated 3 years ago
• amargaritov / starlit
  Hutter Prize Submission 2021a: STARLIT + cmix
  ☆101Updated 2 years ago
• geohot / ai-notebooks
  Some ipython notebooks implementing AI algorithms
  ☆1,383Updated 4 months ago
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆103Updated 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
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆68Updated last year
• google-deepmind / s6
  ☆150Updated 3 years ago
• tinygrad / tinybox
  Scripts and environment for the tinybox
  ☆94Updated last year
• ShivamSarodia / ShivC
  A small C compiler written in Python for learning purposes
  ☆41Updated 7 years ago
• baziotis / minijava-cpp
  A MiniJava compiler written in C++, focusing on speed of compilation, simplicity and (somewhat) nice error messages.
  ☆47Updated 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• cpq / asmbot
  Simple IRC bot written in x86 assembly
  ☆15Updated 12 years ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆69Updated 2 weeks ago
• geekskool / WriteYourOwnOS
  Write your own simple OS
  ☆19Updated 10 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆44Updated 3 weeks ago
• tsoding / cxx-invert-file-tree
  This is like Inverting Binary Tree, but instead of a Binary Tree it's a File Tree.
  ☆12Updated 4 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆58Updated 2 years ago