Skip to content
@Certora

Certora

Pinned Loading

  1. Examples Examples Public

    An index repository with submodules for different examples of Certora projects

    Solidity 112 39

  2. Documentation Documentation Public

    Python 17 17

  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 176 9

  5. tutorials-code tutorials-code Public

    Certora tutorials

    Solidity 24 26

Repositories

Showing 10 of 206 repositories
  • Documentation Public
    Certora/Documentation’s past year of commit activity
    Python 17 17 0 16 Updated Feb 17, 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 Feb 17, 2025
  • SolanaExamples Public

    Examples of Solana applications verification with the Certora Prover

    Certora/SolanaExamples’s past year of commit activity
    Python 0 0 0 1 Updated Feb 17, 2025
  • Examples Public

    An index repository with submodules for different examples of Certora projects

    Certora/Examples’s past year of commit activity
    Solidity 112 39 0 10 Updated Feb 17, 2025
  • v4-core Public Forked from Uniswap/v4-core

    🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

    Certora/v4-core’s past year of commit activity
    Solidity 0 1,271 0 0 Updated Feb 16, 2025
  • tutorials-code Public

    Certora tutorials

    Certora/tutorials-code’s past year of commit activity
    Solidity 24 MIT 26 10 12 Updated Feb 16, 2025
  • Quorum Public
    Certora/Quorum’s past year of commit activity
    Solidity 13 MIT 5 0 0 Updated Feb 16, 2025
  • cvlr Public

    CVLR: Certora Verification Language for Rust

    Certora/cvlr’s past year of commit activity
    Rust 0 MIT 1 0 0 Updated Feb 14, 2025
  • cvlr-soroban Public

    CVLR for Soroban smart contracts

    Certora/cvlr-soroban’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Feb 14, 2025
  • cvlr-collections Public

    CVLR Vectors and other collections mocks, fakes, and summaries

    Certora/cvlr-collections’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Feb 14, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…