certora Goto Github PK
Name: Certora
Type: Organization
Blog: https://www.certora.com
Name: Certora
Type: Organization
Blog: https://www.certora.com
VSCode extension that presents the verification results
Solana Perpetuals Exchange
Lightweight, robust, elegant syntax highlighting.
AaveV2 StaticAtokenLM
Public repository of benchmarks that are of interest to Certora
This repository contains links to our completed full-service customer projects
Pygments is a generic syntax highlighter written in Python
🚀 Bootstrapping protocol-owned liquidity
The Ruler project adapted to generate rules for evm.
SW Repo; Content Manager: CES-001; MIP21 Toolkit: Equipment for Off-chain Asset Backed Lending in MakerDAO
The smart contracts behind saddle.finance 🤠
Safe allows secure management of blockchain assets.
SIREN Core Smart Contracts
A library to write verification harnesses for the Solana Certora Prover
Verification of SPL Token 2022
Solidity, the Contract-Oriented Programming Language
[Optimism] (Slightly) modified Solidity compiler
Modern, opinionated, and gas optimized building blocks for smart contract development.
Static aTokens for Aave v3, based on value increase (exchange rate based) instead of balance increase
Superfluid Protocol Monorepo: the specification, implementations, peripherals and development kits.
Sushiswap smart contracts 🍣 📝
Practical tutorials of Certora Prover
Certora tutorials
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.