repos
43
ecosystems
11
languages
9
commits
258
─── top repos · by commits
─── repositories
43 totalSmart contract specification language
Symbolic and concrete EVM execution engine
Dapp, Seth, Hevm, and more
Dapp, Seth, Hevm, and more
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
K framework proof explorer & smart contract specification format
dapptools with added matic network functionality
Governance Portal
Archive of the Formal Verification blog
A simple and sufficient ERC20 implementation
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
Set of smart contracts and bash scripts to deploy Multi collateral DAI
Dai Stablecoin System
Dai Stablecoin Simulation
Dai Stablecoin System
Dai Stablecoin System
Dai Stablecoin System
Set of smart contracts and bash scripts to deploy Multi collateral CSC
Curio StableCoin System
Dai Stablecoin System
Updatable, unobtrusive Solidity authorization pattern
Start a local test chain with the MakerDAO contracts deployed on it, quickly and easily.
Code for the dapp.tools website
Single-Collateral Dai CDP Portal
BlockStack Blockchain Hackathon, Berlin
Single-Collateral Dai CDP Portal (Chinese)
A spell-like contract that sets the debt ceiling (line) of a collateral type (ilk) through a DSProxy-like mom contract
Cdp portal
Start a local test chain with the MakerDAO contracts deployed on it, quickly and easily. (Work in progress)
─── peer developers
─── ecosystems
─── languages
- Solidity13
- JavaScript9
- Haskell5
- Go5
- Shell2
- HTML1
- Nix1
- Makefile1
- Rust1
─── subscriber view
Unlock the full view of xwvvvvwx
- · 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.