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 / battlechess
  A distributed decentralized chess tournament
  ☆97Updated last year
• geohot / twitchctw
  compression = AI
  ☆54Updated 2 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆167Updated 2 years ago
• geohot / pie
  Computing digits of pi for the people
  ☆69Updated 3 years ago
• geohot / twitchtactoe
  Tic Tac Toe in React because it is Simple Skills Sunday
  ☆97Updated last year
• geohot / hammer-website
  ☆69Updated 4 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated this week
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆58Updated 3 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 6 months ago
• liaopeiyuan / zeta
  functional neural networks in ocaml
  ☆88Updated 5 years ago
• formalabstracts / formalabstracts
  ☆161Updated 5 years 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
• geohot / mergesorts
  mergesort in many languages
  ☆262Updated last year
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• nuwandavek / you
  Only you can complete you :)
  ☆71Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆52Updated 7 years ago
• stanford-cs242 / f18-assignments
  ☆23Updated 6 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆63Updated last week
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 9 months ago
• ImperialCollegeLondon / lean-maths-examples
  Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics
  ☆13Updated 3 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• haraschax / PerplexingPuzzle
  Digital version of the asymptote puzzle by perplexingpuzzles.com.au
  ☆30Updated 3 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆132Updated 8 months ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago