victorcrrd

victorcrrd's Stars

• elebumm/HowItsMadeBot

  A bot that creates gifs on the popular show "How it's made" and uploads periodically to reddit

  Language:Python265

• elebumm/RedditVideoMakerBot

  Create Reddit Videos with just✨ one command ✨

  Language:Python6.6k1.9k

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++822182

• yi-sun/circom-pairing

  Language:TypeScript19130

• mgg39/Quantum-tech-papers

  My personal quantum paper library

  14943

• ManimCommunity/manim

  A community-maintained Python framework for creating mathematical animations.

  Language:Python25.4k1.8k

• matter-labs/awesome-zero-knowledge-proofs

  A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

  5.3k837