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
  ☆53Updated 2 years ago
• geohot / twitchcoins
  ☆34Updated 6 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆155Updated 5 years ago
• geohot / hammer-website
  ☆69Updated 4 years ago
• geohot / carla
  Open-source simulator for autonomous driving research.
  ☆22Updated 5 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆30Updated 5 years ago
• geohot / pie
  Computing digits of pi for the people
  ☆69Updated 3 years ago
• PartnershipOnAI / safelife
  SafeLife: safety benchmarks for reinforcement learning agents
  ☆60Updated 4 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• geohot / solidity
  ☆61Updated 4 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆120Updated 10 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 6 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• solegga / computer-security-class
  Computer Security Class - Department of Informatics and Telecommunications, University of Athens
  ☆12Updated 8 years ago
• rrtucci / Entanglish
  python toolbox for calculations related to quantum entanglement (including squashed entanglement) "Speak Quantum Friend and Enter"
  ☆15Updated 4 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• msohaibalam / Link_to_Quantum_game
  A quantum video game!
  ☆35Updated 6 years ago
• gamozolabs / fuzzyneural
  A neural network using fuzzing-style feedback rather than back-propagation
  ☆18Updated 4 years ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆102Updated 5 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 3 months ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 6 months ago
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆143Updated 5 years ago