Skip to content
@Certora

Certora

Pinned Loading

  1. Examples Examples Public

    An index repository with submodules for different examples of Certora projects

    Solidity 88 35

  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 169 8

  5. tutorials-code tutorials-code Public

    Certora tutorials

    Solidity 19 24

Repositories

Showing 10 of 191 repositories
  • Examples Public

    An index repository with submodules for different examples of Certora projects

    Certora/Examples’s past year of commit activity
    Solidity 88 35 0 8 Updated Dec 22, 2024
  • Quorum Public
    Certora/Quorum’s past year of commit activity
    Solidity 2 MIT 1 0 0 Updated Dec 22, 2024
  • 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 Dec 22, 2024
  • atlas Public Forked from FastLane-Labs/atlas

    An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV by running auctions that match User Operations with Solver Operations. Users do not need a smart wallet. Permissionless for users, apps, and Solvers. Backwards-compatible with existing apps.

    Certora/atlas’s past year of commit activity
    Solidity 0 16 0 1 Updated Dec 21, 2024
  • safe-smart-account Public Forked from safe-global/safe-smart-account

    Safe allows secure management of blockchain assets.

    Certora/safe-smart-account’s past year of commit activity
    TypeScript 0 LGPL-3.0 1,016 0 2 Updated Dec 20, 2024
  • solana-cvt Public

    A library to write verification harnesses for the Solana Certora Prover

    Certora/solana-cvt’s past year of commit activity
    Rust 3 0 0 0 Updated Dec 20, 2024
  • collections Public

    Memory-effficient immutable collection types for Kotlin

    Certora/collections’s past year of commit activity
    Kotlin 4 MIT 1 0 1 Updated Dec 19, 2024
  • aave-token-v3 Public Forked from bgd-labs/aave-token-v3
    Certora/aave-token-v3’s past year of commit activity
    Ruby 0 MIT 26 0 26 Updated Dec 19, 2024
  • 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 Dec 19, 2024
  • GhoDirectMinter Public Forked from bgd-labs/GhoDirectMinter

    GHO facilitator to mint+supply and withdraw+burn from Aave pools

    Certora/GhoDirectMinter’s past year of commit activity
    Solidity 0 1 0 0 Updated Dec 19, 2024
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…