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 / twitchctw
  compression = AI
  ☆56Updated 3 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆157Updated 5 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆165Updated 2 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 6 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆217Updated 6 years ago
• geohot / solidity
  ☆62Updated 5 years ago
• j2kun / essays
  Short essays I've written
  ☆80Updated 2 years ago
• geohot / carla
  Open-source simulator for autonomous driving research.
  ☆21Updated 5 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆230Updated 11 months ago
• flxwu / spectre-attack-demo
  Reproducing malicious memory reading on Intel i5 and Intel Xeon using a Spectre attack
  ☆87Updated 8 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• Robert-Campbell-256 / Number-Theory-Python
  Python code to implement various number theory, elliptic curve and finite field computations.
  ☆103Updated 4 years ago
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆33Updated 5 years ago
• kerneltlv / kernel-hacking
  An environment and set of utilities aimed at making kernel hacking simple and accessible
  ☆62Updated 2 years ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆63Updated last year
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆66Updated 2 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆159Updated 4 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆129Updated last year
• gamozolabs / fuzzyneural
  A neural network using fuzzing-style feedback rather than back-propagation
  ☆18Updated 5 years ago
• coinbase / maxfuzz
  DEPRECATED — Containerized Cloud Fuzzing
  ☆26Updated 7 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
• geohot / twitchcoins
  ☆34Updated 7 years ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆69Updated 2 years ago
• oconnor663 / applied_crypto_2021_fall
  problem sets for CS-GY 6903 Applied Cryptography
  ☆41Updated 4 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆70Updated 6 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆310Updated last week
• llSourcell / c_programming_for_machine_learning
  This is the code for "C Programming for Machine Learning" By Siraj Raval on Youtube
  ☆73Updated 7 years ago
• PaulGustafson / dcc
  Maximally decentralized cryptocurrency
  ☆20Updated 5 years ago