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
  ☆54Updated 6 years ago
• geohot / battlechess
  A distributed decentralized chess tournament
  ☆97Updated last year
• geohot / twitchctw
  compression = AI
  ☆53Updated 2 years ago
• geohot / haskell-scheme
  Writing Scheme in Haskell
  ☆61Updated 4 years ago
• geohot / mergesorts
  mergesort in many languages
  ☆261Updated last year
• geohot / edgetpuxray
  Enabling tinygrad compatibility with the Google Edge TPU
  ☆77Updated 8 months ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆215Updated 6 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆298Updated last month
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆52Updated 2 months ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆161Updated last year
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆73Updated 2 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆120Updated 10 months ago
• digama0 / mm0
  Metamath Zero specification language
  ☆339Updated 3 weeks ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 3 months ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 4 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆253Updated last year
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆164Updated 3 months ago
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆275Updated 2 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated this week
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 2 months ago