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
  ☆108Updated 4 years ago
• geohot / battlechess
  A distributed decentralized chess tournament
  ☆97Updated last year
• geohot / twitchctw
  compression = AI
  ☆54Updated 2 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• geohot / solidity
  ☆61Updated 4 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 4 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆225Updated last month
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆160Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• cryptosubtlety / postquantumcrypto
  Intuitive Quantum Computation and Post-Quantum Cryptography
  ☆62Updated 2 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 5 months ago
• mit-frap / spring18
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018
  ☆23Updated 6 years ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated last year
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• gamozolabs / fuzzyneural
  A neural network using fuzzing-style feedback rather than back-propagation
  ☆18Updated 4 years ago
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 5 years ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆57Updated 7 months ago
• coinbase / maxfuzz
  DEPRECATED — Containerized Cloud Fuzzing
  ☆27Updated 6 years ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• uchicago-cs / plrg
  PL Reading Group Website
  ☆14Updated 4 months ago
• zardus / paper-templates
  A set of templates for different academic venues.
  ☆27Updated 5 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆62Updated last year
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago