Alternatives and similar repositories for twitchcoq:

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

• geohot / coq-hardy
  Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
  ☆53Updated 5 years ago
• geohot / twitchctw
  compression = AI
  ☆54Updated 2 years ago
• geohot / solidity
  ☆61Updated 4 years ago
• geohot / twitchtactoe
  Tic Tac Toe in React because it is Simple Skills Sunday
  ☆97Updated last year
• geohot / battlechess
  A distributed decentralized chess tournament
  ☆97Updated last year
• geohot / haskell-scheme
  Writing Scheme in Haskell
  ☆61Updated 4 years ago
• cheapETH / simplepool
  A simple Ethereum mining pool
  ☆92Updated 4 years ago
• j2kun / essays
  Short essays I've written
  ☆75Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆395Updated last year
• geohot / edgetpuxray
  Enabling tinygrad compatibility with the Google Edge TPU
  ☆76Updated 6 months ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆30Updated 4 years ago
• geohot / pie
  Computing digits of pi for the people
  ☆69Updated 3 years ago
• geohot / hammer-website
  ☆69Updated 4 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆225Updated 3 weeks ago
• geohot / twitchchess
  like twitchslam, for chess
  ☆362Updated last year
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆159Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 7 months ago
• marcelbischoff / tinygrad
  You like pytorch? You like micrograd? You love tinygrad! ❤️
  ☆49Updated 4 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆214Updated last month
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• cheapETH / cheapeth-website
  ☆69Updated 3 years ago
• digama0 / mm0
  Metamath Zero specification language
  ☆338Updated 3 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• haraschax / PerplexingPuzzle
  Digital version of the asymptote puzzle by perplexingpuzzles.com.au
  ☆30Updated 3 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆71Updated last month
• geohot / mergesorts
  mergesort in many languages
  ☆261Updated last year
• holdenlee / number-theory
  Open-source number theory textbook
  ☆57Updated 7 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago