Certora

Certora

Geek Repo

Home Page:https://www.certora.com

Github PK Tool:Github PK Tool

Certora's repositories

aave-proposals-reports

BGD reports of Aave governance proposals

License:GPL-3.0Stargazers:0Issues:0Issues:0

Examples

An index repository with submodules for different examples of Certora projects

Language:SolidityStargazers:35Issues:0Issues:0
Language:PythonStargazers:16Issues:0Issues:0
Language:SolidityLicense:MITStargazers:0Issues:0Issues:0

M0-Protocol

M^0 protocol

License:GPL-3.0Stargazers:0Issues:0Issues:0

aave-v3-core

This repository contains the core smart contracts of the Aave V3 protocol.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

M0-TTG

TTG, "Two Token Governance," is a governance mechanism that uses token voting to maintain lists and manage communal property

License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:SolidityLicense:MITStargazers:2Issues:0Issues:0

SolanaExamples

Provide Solana example for customers

Language:RustStargazers:0Issues:0Issues:0

tutorials-code

Certora tutorials

Language:SolidityLicense:MITStargazers:12Issues:0Issues:0

kintoXYZ-core

KYC Of KInto

Language:SolidityStargazers:0Issues:0Issues:0

ilm

integrated liquidity market

Language:SolidityLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ethereum-vault-connector

The EVC is a mediator between Vaults that may have borrowing functionality.

License:GPL-2.0Stargazers:0Issues:0Issues:0
Language:SolidityLicense:MITStargazers:0Issues:0Issues:0
Language:SolidityLicense:MITStargazers:0Issues:0Issues:0

CertoraInit

Certora Init

Language:SolidityStargazers:12Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

docs-infrastructure

Infrastructure for Certora documentation, tutorials and others.

Language:PythonStargazers:0Issues:0Issues:0
Language:RubyStargazers:0Issues:0Issues:0
Language:SolidityLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:SolidityLicense:MITStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

cvldoc_parser

CVLDoc parser backend

Language:RustLicense:MITStargazers:5Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

cvldocTool

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

Language:RubyLicense:MITStargazers:1Issues:0Issues:0
Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

blend-contracts

Soroban implementation of the Blend Protocol

License:AGPL-3.0Stargazers:0Issues:0Issues:0

aave-delivery-infrastructure

Abstraction layer for cross-chain communication

Language:SolidityLicense:NOASSERTIONStargazers:0Issues:0Issues:0

liquid-collective-protocol

Liquid Collective protocol smart contracts

License:NOASSERTIONStargazers:0Issues:0Issues:0

collections

Memory-effficient immutable collection types for Kotlin

Language:KotlinLicense:MITStargazers:4Issues:0Issues:0