Skip to content
@Certora

Certora

Pinned Loading

  1. Examples Examples Public

    An index repository with submodules for different examples of Certora projects

    Solidity 94 36

  2. Documentation Documentation Public

    Python 17 16

  3. cvldocTool cvldocTool Public

    convert the NatSpec comment on a spec file(s) to a JSON file.

    Ruby

  4. gambit gambit Public

    Using mutations to improve specs and test suites

    Rust 172 8

  5. tutorials-code tutorials-code Public

    Certora tutorials

    Solidity 21 26

Repositories

Showing 10 of 192 repositories
  • Documentation Public
    Certora/Documentation’s past year of commit activity
    Python 17 16 0 12 Updated Jan 10, 2025
  • solana-cvt Public

    A library to write verification harnesses for the Solana Certora Prover

    Certora/solana-cvt’s past year of commit activity
    Rust 4 0 0 1 Updated Jan 9, 2025
  • blend-contracts Public Forked from blend-capital/blend-contracts

    Soroban implementation of the Blend Protocol

    Certora/blend-contracts’s past year of commit activity
    Rust 0 AGPL-3.0 13 0 1 Updated Jan 9, 2025
  • gho-core Public Forked from aave/gho-core
    Certora/gho-core’s past year of commit activity
    Solidity 0 MIT 108 0 4 Updated Jan 9, 2025
  • aave-proposals-reports Public Forked from aave-dao/aave-proposals-reports

    BGD reports of Aave governance proposals

    Certora/aave-proposals-reports’s past year of commit activity
    0 GPL-3.0 1 0 0 Updated Jan 9, 2025
  • Quorum Public
    Certora/Quorum’s past year of commit activity
    Solidity 3 MIT 2 0 0 Updated Jan 9, 2025
  • aave-governance-v3 Public Forked from bgd-labs/aave-governance-v3

    Aave Governance V3

    Certora/aave-governance-v3’s past year of commit activity
    Solidity 0 15 0 2 Updated Jan 9, 2025
  • ccip Public Forked from aave/ccip

    Cross Chain Interoperability Protocol

    Certora/ccip’s past year of commit activity
    Go 1 57 0 1 Updated Jan 9, 2025
  • aave-stk-gov-v3 Public Forked from bgd-labs/aave-stk-gov-v3

    Next iteration of Aave stk tokens (Safety Module), improving slashing management, cooldown and other technical aspects

    Certora/aave-stk-gov-v3’s past year of commit activity
    Solidity 0 MIT 7 0 1 Updated Jan 9, 2025
  • certora-run-action Public

    Certora Run GitHub Action

    Certora/certora-run-action’s past year of commit activity
    Shell 0 BSD-4-Clause 0 0 0 Updated Jan 9, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…