Certora

Certora

Geek Repo

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

Github PK Tool:Github PK Tool

ezoic increase your site revenue

Certora's repositories

Tutorials

Practical tutorials of Certora Prover

Language:SolidityLicense:GPL-3.0Stargazers:82Issues:5Issues:4

CertoraProverSupplementary

Supplementary Material to be used with the Certora Prover

Language:RubyStargazers:10Issues:0Issues:0
Language:PythonStargazers:10Issues:0Issues:0

EVMSpec-VsCodeExtension

VS.Code extension for writing specifications for EVM (Ethereum Virtual Machine) code (.spec format)

FoundryIntegration

Certora integration with the Forge testing framework of Foundry

Language:RustLicense:NOASSERTIONStargazers:5Issues:0Issues:0
Language:SolidityStargazers:1Issues:0Issues:0
Language:SolidityLicense:GPL-3.0Stargazers:1Issues:0Issues:0
Language:SolidityStargazers:1Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:1Issues:0Issues:0

badger-onchain-rewards

Generalized onChain reward contract that allows to retroactively reward depositors with any token

Language:HTMLStargazers:0Issues:0Issues:0

aip

Aave Improvement Proposals

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:1Issues:0

comp-proposal

Implementation of Compound funding proposal

Language:SolidityStargazers:0Issues:0Issues:0

compound-protocol

The Compound On-Chain Protocol

Language:SolidityLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0
License:AGPL-3.0Stargazers:0Issues:0Issues:0

InvalidCalldataPOC

A proof of concept for the invalid calldata padding bug

Language:JavaScriptStargazers:0Issues:0Issues:0

joe-core

Contracts for Trader Joe

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

nirn-optimiser

Off-chain Typescript for adjusting weightings of Nirn yield aggregator vaults

Stargazers:0Issues:0Issues:0

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

optimism-dai-bridge

Optimism Dai and upgradable token bridge

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

OutputParser-VsCodeExtension

VSCode extension that presents the verification results

Language:TypeScriptStargazers:0Issues:0Issues:0

prism

Lightweight, robust, elegant syntax highlighting.

License:MITStargazers:0Issues:0Issues:0

protocol-v2

AaveV2 StaticAtokenLM

License:NOASSERTIONStargazers:0Issues:0Issues:0

PublicProjects

This repository contains links to our completed full-service customer projects

Stargazers:0Issues:0Issues:0

pygments

Pygments is a generic syntax highlighter written in Python

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

rocket-joe-1

🚀 Bootstrapping protocol-owned liquidity

Language:RubyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

SirenMarkets

SIREN Core Smart Contracts

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

z3

The Z3 Theorem Prover

License:NOASSERTIONStargazers:0Issues:0Issues:0