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 / coq-hardy
  Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
  ☆54Updated 6 years ago
• 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
  ☆85Updated last year
• geohot / minGPT
  A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
  ☆40Updated 5 years ago
• geohot / tinyvoice
  Letting computers listen to you and really care
  ☆371Updated 3 years ago
• leios / simuleios
  Simulations for LeiosOS
  ☆201Updated last year
• amargaritov / starlit
  Hutter Prize Submission 2021a: STARLIT + cmix
  ☆101Updated 2 years ago
• MarioGalindoQ / Bint
  C++ Big Integer Library
  ☆20Updated 4 years ago
• ShivamSarodia / ShivC
  A small C compiler written in Python for learning purposes
  ☆41Updated 7 years ago
• minimaxir / gpt-j-6b-experiments
  Test prompts for GPT-J-6B and the resulting AI-generated texts
  ☆53Updated 4 years ago
• gsurma / meta_intelligence
  AI research environment for program generation.
  ☆27Updated 2 years ago
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆58Updated 4 years ago
• tinygrad / tinybox
  Scripts and environment for the tinybox
  ☆95Updated last year
• lemire / talks
  Random material having to do with Daniel Lemire's talks
  ☆32Updated 2 months ago
• pkrumins / busy-beaver
  Implementation of a Turing Machine that runs the Busy Beaver programs.
  ☆23Updated 16 years ago
• robert / tinder-locations
  Locate Tinder users
  ☆54Updated 6 years ago
• AndrewCarterUK / mnist-neural-network-plain-c
  A neural network implementation for the MNIST dataset, written in plain C
  ☆100Updated 4 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆216Updated 5 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 5 years ago
• openworm / robots
  C. elegans robots
  ☆24Updated 4 years ago
• jart / matmul
  ☆18Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 9 months ago
• TheRealMichaelWang / fastcode
  A unique blend of C, Java, and Python tailored for those who desire a simple yet powerful programming language.
  ☆29Updated 4 years ago
• gabeschamberg / context-tree-weighting
  Python implementation of the context tree weighting (CTW) method for sequential probability assignment.
  ☆19Updated 3 years ago
• sympy / sympy_doc
  SymPy Documentation repository
  ☆37Updated this week
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆32Updated 4 years ago
• vaibhawvipul / tildy-mdp
  Reinforcement Learning Fun Game
  ☆19Updated 6 years ago
• geohot / tinydreamer
  An implementation of delta-iris in tinygrad
  ☆72Updated last year
• PsychNeuro / ed1
  Psychology and Neuroscience: First Edition
  ☆17Updated last year