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
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• geohot / solidity
  ☆62Updated 5 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 5 years ago
• geohot / twitchcoins
  ☆34Updated 7 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 2 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆164Updated 2 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆216Updated 5 years ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆68Updated 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.
  ☆307Updated last month
• oconnor663 / applied_crypto_2021_fall
  problem sets for CS-GY 6903 Applied Cryptography
  ☆41Updated 3 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 9 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• 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
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆335Updated 5 years ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆144Updated 6 years ago
• cryptosubtlety / intuitive-advanced-cryptography
  Intuitive Advanced Cryptography
  ☆436Updated 3 years ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆70Updated 6 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 3 years ago
• Robert-Campbell-256 / Number-Theory-Python
  Python code to implement various number theory, elliptic curve and finite field computations.
  ☆102Updated 4 years ago
• cryptosubtlety / postquantumcrypto
  Intuitive Quantum Computation and Post-Quantum Cryptography
  ☆63Updated 3 years ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• coinbase / maxfuzz
  DEPRECATED — Containerized Cloud Fuzzing
  ☆26Updated 7 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆264Updated last year
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆313Updated last year
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆216Updated 4 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• geohot / eda-reversing
  The Embedded Disassembler
  ☆116Updated 16 years ago