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 / edgetpuxray
  Enabling tinygrad compatibility with the Google Edge TPU
  ☆85Updated last year
• geohot / hammer-website
  ☆69Updated 4 years ago
• marcelbischoff / tinygrad
  You like pytorch? You like micrograd? You love tinygrad! ❤️
  ☆49Updated 4 years ago
• MarioGalindoQ / Bint
  C++ Big Integer Library
  ☆20Updated 4 years ago
• geohot / minGPT
  A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
  ☆40Updated 5 years ago
• geohot / carla
  Open-source simulator for autonomous driving research.
  ☆21Updated 5 years ago
• ShivamSarodia / ShivC
  A small C compiler written in Python for learning purposes
  ☆41Updated 7 years ago
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆58Updated 4 years ago
• nomemory / integers-snake
  ☆22Updated 3 years ago
• amargaritov / starlit
  Hutter Prize Submission 2021a: STARLIT + cmix
  ☆101Updated 2 years ago
• pkrumins / busy-beaver
  Implementation of a Turing Machine that runs the Busy Beaver programs.
  ☆23Updated 15 years ago
• tuhdo / os-study
  My OS study following Broken Thorn OS series: http://www.brokenthorn.com/Resources/OSDevIndex.html
  ☆64Updated 9 years ago
• barrettotte / perceptron-asm
  A single-layer perceptron in x86 assembly to distinguish between circles and rectangles.
  ☆26Updated 3 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆27Updated this week
• mish24 / Assembly-step-by-step
  Codes written while learning NASM, numbering the code according the level of complexity.
  ☆61Updated 3 years ago
• ssloy / triador
  Ternary computer emulator
  ☆242Updated 3 years ago
• code-tutorials / assembly-intro
  Intro to x86 Assembly Language.
  ☆282Updated 5 years ago
• riicchhaarrd / ocean
  Programming language that compiles into a x86 ELF executable.
  ☆168Updated 3 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• mertyildiran / ldca
  Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)
  ☆62Updated 4 years ago
• jart / matmul
  ☆18Updated last year
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆53Updated 4 years ago
• SinaKhalili / dotfiles
  my dotfiles and scripts!
  ☆12Updated last year
• 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
• cirosantilli / cirosantilli.github.io
  Source for: https://cirosantilli.com and https://ourbigbook.com/cirosantilli Build HTML with https://github.com/ourbigbook/ourbigbook wit…
  ☆46Updated last week
• ourbigbook / ourbigbook
  The best way to publish your scientific knowledge. Source code for the entire OurBigBook Project: OurBigBook.com, ourbigbook CLI and the …
  ☆98Updated last week