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
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• j2kun / essays
  Short essays I've written
  ☆78Updated last year
• geohot / solidity
  ☆62Updated 5 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆164Updated last year
• holdenlee / number-theory
  Open-source number theory textbook
  ☆61Updated last year
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• kerneltlv / kernel-hacking
  An environment and set of utilities aimed at making kernel hacking simple and accessible
  ☆63Updated 2 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆305Updated this week
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 6 months ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 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 2 years ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆145Updated 6 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
• emintham / Papers
  Collection of papers read
  ☆221Updated 10 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆409Updated 2 years ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆67Updated last year
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆212Updated 3 years 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 / eda-reversing
  The Embedded Disassembler
  ☆115Updated 16 years ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• oconnor663 / applied_crypto_2021_fall
  problem sets for CS-GY 6903 Applied Cryptography
  ☆41Updated 3 years ago
• ericpony / z3py-tutorial
  ☆147Updated 2 years ago
• trailofbits / mishegos
  A differential fuzzer for x86 decoders
  ☆251Updated 10 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆125Updated last year
• ChrisCummins / phd
  👨‍💻 My PhD.
  ☆187Updated 2 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 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…
  ☆19Updated 4 years ago