repos
58
ecosystems
13
languages
6
commits
1,392
─── top repos · by commits
─── repositories
58 totalSui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
OpenZeppelin Contracts is a library for secure smart contract development.
Example Certora verification for a simple multi-contract system
Example verification for ERC20 contracts
🚀 Bootstrapping protocol-owned liquidity
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Practical tutorials of Certora Prover
Practical tutorials of Certora Prover
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
An index repository with submodules for different examples of Certora projects
An index repository with submodules for different examples of Certora projects
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Fork of SUI with some enhancements
An example specification for a constant product pool
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
This repository contains links to our completed full-service customer projects
An example showing how to strenghten an inductive hypothesis
Supplementary Material to be used with the Certora Prover
Examples and scripts to help migrate from CVL 1 to CVL 2
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
convert the NatSpec comment on a spec file(s) to a JSON file.
🚀 Bootstrapping protocol-owned liquidity
The Move Book and The Move Reference
Examples of specs that don't check what you think they check
OpenZeppelin Contracts is a library for secure smart contract development.
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts fork to add ERC5169
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
─── peer developers
─── ecosystems
─── languages
- Rust19
- Solidity15
- JavaScript5
- Ruby4
- Move3
- Python1
─── subscriber view
Unlock the full view of mdgeorge4153
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.