Alternatives and similar repositories for coq-hardy

Users that are interested in coq-hardy are comparing it to the libraries listed below

• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆110Updated 5 years ago
• geohot / twitchctw
  compression = AI
  ☆54Updated 3 years ago
• geohot / battlechess
  A distributed decentralized chess tournament
  ☆97Updated 2 years ago
• geohot / twitchcoins
  ☆34Updated 6 years ago
• j2kun / essays
  Short essays I've written
  ☆78Updated last year
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 5 years ago
• geohot / solidity
  ☆62Updated 5 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆411Updated 2 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆217Updated 5 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated 7 months ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆335Updated 5 years ago
• geohot / lowqualityraytracer
  ever wonder how to raytrace? me too. i love america
  ☆26Updated 9 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆165Updated last year
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆68Updated last year
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated 2 years ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆145Updated 6 years ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆61Updated last year
• dmvaldman / library
  📚 Papers and essays I find timeless
  ☆379Updated 11 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆306Updated 3 weeks ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated 2 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• clarketm / pprintast
  An AST pretty printer for Python 🐍
  ☆14Updated 6 years ago
• rtoal / ple
  Programming Language Explorations
  ☆97Updated last week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆262Updated last year
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆213Updated 3 years ago
• PaulGustafson / dcc
  Maximally decentralized cryptocurrency
  ☆20Updated 4 years ago