Alternatives and similar repositories for cocolang-examples

Users that are interested in cocolang-examples are comparing it to the libraries listed below

• leonardoalt / ethereum_formal_verification_overview
  Overview of the formal verification projects in the Ethereum ecosystem.
  ☆336Updated 10 months ago
• Certora / CertoraProver
  The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…
  ☆275Updated last week
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆53Updated 2 years ago
• johnsonstephan / awesome-web3-formal-verification
  A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
  ☆34Updated last year
• odradev / awesome-zero-knowledge
  A curated list of Zero Knowledge links, mostly focusing on blockchain.
  ☆354Updated 5 months ago
• RUB-SysSec / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆107Updated 3 years ago
• usyd-blockchain / vandal
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆168Updated 4 years ago
• kupl / VeriSmart-public
  a safety verifier for Solidity smart contracts
  ☆96Updated 3 years ago
• zkml-community / awesome-zkml
  Aggregator for amazing ZKML resources
  ☆412Updated last year
• Franklinliu / SpCon-Artifact
  ☆24Updated last year
• WilfredTA / formal-methods-curriculum
  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
  ☆167Updated 3 years ago
• argotorg / act
  Smart contract specification language
  ☆263Updated last week
• parasol-aser / vrust-open-source
  Automated Vulnerability Detection for Solana Smart Contracts
  ☆37Updated last year
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆135Updated last year
• sergio11 / eventchain_blockchain
  🎟️ EventChain – Blockchain Ticketing System (PoC) A personal project exploring secure and transparent event ticketing using NFTs on the …
  ☆17Updated 7 months ago
• rkdud007 / awesome-zkvm
  A curated list of zkVM, zero-knowledge virtual machine
  ☆301Updated 4 months ago
• zksecurity / zkBank
  zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
  ☆208Updated last year
• argotorg / hevm
  Symbolic and concrete EVM execution engine
  ☆327Updated this week
• Cyfrin / zero-knowledge-fundamentals-cu
  ☆54Updated 8 months ago
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆16Updated 4 months ago
• kupl / VeriSmart-benchmarks
  ☆68Updated 3 years ago
• StefanosChaliasos / Awesome-ZKP-Security
  A curated list of awesome security resources for ZK.
  ☆118Updated 3 months ago
• On0n0k1 / Tutorial_NEAR_Rust
  Tutorial em etapas para desenvolvimento de smart contracts em rust
  ☆18Updated 3 years ago
• Encode-Club-Solidity-Foundations / Lesson-01
  ☆21Updated 3 years ago
• runtimeverification / evm-semantics
  K Semantics of the Ethereum Virtual Machine (EVM)
  ☆555Updated this week
• asymptotic-code / sui-prover
  Formal Verification tool for Move on Sui
  ☆34Updated last week
• 0xPARC / zk-bug-tracker
  A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
  ☆713Updated last year
• zigtur / Rareskills-ZK-book
  My work for Rareskills ZK Book.
  ☆76Updated 2 years ago
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆311Updated 2 weeks ago
• nullity00 / web3-resources
  Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.
  ☆153Updated 2 years ago