repos
114
ecosystems
23
languages
13
commits
4,860
─── top repos · by commits
─── repositories
114 totalSymbolic and concrete EVM execution engine
Dapp, Seth, Hevm, and more
Dapp, Seth, Hevm, and more
Smart contract specification language
Schedule function calls that can only be executed once some delay has elapsed
Schedule function calls that can only be executed once some delay has elapsed
Schedule function calls that can only be executed once some delay has elapsed
Archive of the Formal Verification blog
K framework proof explorer & smart contract specification format
Read-only mirror of https://git.vdb.to/cerc-io/ipld-eth-server (Server backend for indexed ETH IPLD objects)
Tool for indexing blockchain data on IPFS
Backend for serving ETH IPLD objects from ipld-eth-indexer database
Governance Portal
Code for the dapp.tools website
dapptools with added matic network functionality
Assertions, equality checks and other test helpers
dummy project for testing dapp remappings
Set of smart contracts and bash scripts to deploy Multi collateral DAI
Fully automated luxury gay space communism contracts
evm multisig
Set of smart contracts and bash scripts to deploy Multi collateral CSC
Symbolic Execution Benchmarks for Ethereum Smart Contracts
scripts for visualising the auth connections in a deployment of dss
A simple and sufficient ERC20 implementation
Your things should be DSThings
dummy repo for testing dapp remappings
dummy repo for testing some dapp-remappings stuff
Symbolic Execution Benchmarks for Ethereum Smart Contracts
a proxy object that can compose transactions on owner's behalf
Third Party Audits of Maker Smart Contracts
dummy repo for testing dapp-remappings
a proxy object that can compose transactions on owner's behalf
DSAuth-protected stop and start
Solidity, the Smart Contract Programming Language
DSAuth-protected ERC20 token vault
Whitelist DSAuthority for use with DSAuth
Single-Collateral Dai CDP Portal
A DSAuthority for up to 256 roles
Set and get a value
DSValue with expiry
Single-Collateral Dai CDP Portal (Chinese)
Cdp portal
Solidity-Compiler Version Manager
Updatable, unobtrusive Solidity authorization pattern
ETH->ERC20 with extra opinions
Solidity-Compiler Version Manager
Solidity-Compiler Version Manager
Composable building blocks for Ethereum contracts
Safe arithmetic
💧 Drips Protocol Smart Contracts
Start a local test chain with the MakerDAO contracts deployed on it, quickly and easily.
Log function calls as events
Radicle contracts on Ethereum
Better exception handling
A spell-like contract that sets the debt ceiling (line) of a collateral type (ilk) through a DSProxy-like mom contract
❇️ DSMath with overflow flagging
Safe arithmetic
K framework proof explorer & smart contract specification format
Start a local test chain with the MakerDAO contracts deployed on it, quickly and easily. (Work in progress)
A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.
Dai Stablecoin System
This is solc-verify, a modular verifier for Solidity.
[Optimism] (Slightly) modified Solidity compiler
Solidity, the Contract-Oriented Programming Language
Turkish community translation of the Solidity documentation
ZKsync fork of the original Solidity compiler.
Portuguese / Brazilian translation of the Solidity docs
Desktop client for Radicle.
Fork of the Solidity Compiler for compiling Solidity to IELE
Chinese community translation of the Solidity documentation
Russian community translation of the Solidity documentation
Indonesian community translation of the Solidity documentation
Spanish community translation of the Solidity documentation
Korean community translation of the Solidity documentation
Japanese community translation of the Solidity documentation
A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.
lllc support with latest opcodes
Solidity, the Contract-Oriented Programming Language
Solidity For Cortex
The Solidity Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Smart Contract Programming Language
Solidity, the Smart Contract Programming Language
Dai Stablecoin Simulation
Solidity, the Contract-Oriented Programming Language
A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.
Dai Stablecoin System
Dai Stablecoin System
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
my version of solidity
ethereum-solidity
Dai Stablecoin System
Curio StableCoin System
Solidity, the Contract-Oriented Programming Language
─── peer developers
─── ecosystems
─── languages
- Solidity39
- C++17
- JavaScript10
- CMake7
- Haskell5
- Go5
- Rust4
- Shell3
- HTML2
- Nix2
─── subscriber view
Unlock the full view of d-xo
- · 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.