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 / battlechess
  A distributed decentralized chess tournament
  ☆96Updated 2 years ago
• geohot / twitchctw
  compression = AI
  ☆55Updated 3 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 6 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• geohot / twitchcoins
  ☆34Updated 7 years ago
• geohot / solidity
  ☆62Updated 5 years ago
• geohot / hammer-website
  ☆69Updated 5 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆166Updated 2 years ago
• geohot / twitchtactoe
  Tic Tac Toe in React because it is Simple Skills Sunday
  ☆97Updated 2 years ago
• flxwu / spectre-attack-demo
  Reproducing malicious memory reading on Intel i5 and Intel Xeon using a Spectre attack
  ☆87Updated 7 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆216Updated 6 years ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆144Updated 7 years ago
• j2kun / essays
  Short essays I've written
  ☆80Updated last year
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 10 months ago
• geohot / haskell-scheme
  Writing Scheme in Haskell
  ☆59Updated 5 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• geohot / lowqualityraytracer
  ever wonder how to raytrace? me too. i love america
  ☆27Updated 9 years ago
• geohot / mergesorts
  mergesort in many languages
  ☆264Updated 2 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 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.
  ☆216Updated 6 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• coinbase / maxfuzz
  DEPRECATED — Containerized Cloud Fuzzing
  ☆26Updated 7 years ago
• cirosantilli / essays
  Original writings and quirky thoughts by me. People might like reading this once I become world famous for something. The best of this co…
  ☆21Updated 4 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆308Updated 2 weeks ago
• robert / tinder-locations
  Locate Tinder users
  ☆54Updated 6 years ago
• dmvaldman / library
  📚 Papers and essays I find timeless
  ☆385Updated last year
• uw-unsat / serval-tutorial-sosp19
  ☆14Updated 6 years ago
• UMD-CS-STICs / 389Rspring18
  CMSC389R course at UMD
  ☆21Updated 6 years ago