Alternatives and similar repositories for cp:

Users that are interested in cp are comparing it to the libraries listed below

• hash-based-snargs-book / hash-based-snargs-book
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆188Updated 3 weeks ago
• Beneficial-AI-Foundation / dafny-autopilot
  ☆10Updated 3 months ago
• bnjmnt4n / canvas-downloader
  Downloader for Canvas written in Rust
  ☆35Updated 10 months ago
• Verified-zkEVM / ZKLib
  Formally Verified SNARKs in Lean
  ☆61Updated this week
• opengovsg / petitionsgovsg
  Where citizens push for change that matters
  ☆10Updated 2 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆64Updated last week
• ChezJrk / verified-scheduling
  ☆38Updated last year
• tangboxuan / college
  Study notes
  ☆17Updated 11 months ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆50Updated 3 years ago
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆60Updated last year
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆23Updated this week
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆53Updated 3 years ago
• ebonelli / PLaF
  Notes and source code for a semester-long course introducing Programming Language fundamentals
  ☆38Updated last month
• arkworks-rs / algebra
  Libraries for finite field, elliptic curve, and polynomial arithmetic
  ☆719Updated last week
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆298Updated 3 weeks ago
• UCSD-PL / proverbot9001
  ☆40Updated 2 months ago
• lunaflight / courserekt
  Simple interface to see the history of course demand and allocation
  ☆44Updated 3 months ago
• BlockchainCourseNTU / hello-dapp
  MVP (Minimal Viable Preparation) for modern dApp developers
  ☆15Updated last year
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆230Updated 8 months ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated 2 months ago
• zama-ai / awesome-zama
  A curated list of amazing Fully Homomorphic Encryption (FHE) resources created by the team at Zama.
  ☆265Updated 3 weeks ago
• verse-lab / splean
  Separation Logic Proofs in Lean
  ☆36Updated 3 weeks ago
• owl-toolkit / owl
  ☆16Updated last year
• lurk-lab / lurk-beta
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆447Updated last month
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆22Updated this week
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆65Updated this week
• zama-ai / bounty-program
  Zama Bounty Program: Contribute to the FHE space and Zama's open source libraries and get rewarded 💰
  ☆287Updated 3 weeks ago
• diprism / perpl
  The PERPL Compiler
  ☆13Updated 3 weeks ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆43Updated 10 months ago