repos
149
ecosystems
23
languages
13
commits
7,808
─── top repos · by commits
─── repositories
149 totalSingle Collateral Dai
formal verification of multicollateral dai in the K framework
formal verification of multicollateral dai in the K framework
Continuous Splitting Token Auction
Symbolic and concrete EVM execution engine
Dapp, Seth, Hevm, and more
Dapp, Seth, Hevm, and more
dapptools with added matic network functionality
Dai Stablecoin System
Dai Stablecoin System
Dai Stablecoin System
Dai Stablecoin System
Curio StableCoin System
Dai Stablecoin Simulation
SCD Command-line interface
A simple and sufficient ERC20 implementation
A simple and sufficient ERC20 implementation
A simple and sufficient ERC20 implementation
A simple and sufficient ERC20 implementation
Your things should be DSThings
Your things should be DSThings
K framework proof explorer & smart contract specification format
Something to play with while we wait
approval voting to select who wears the hat by consensus
approval voting to select who wears the hat by consensus
Token governance contracts for GEB
Approval voting to select who wears the Hat by consensus
DSAuth-protected ERC20 token vault
Trade bitcoins for tokens via btc-relay
The OasisDEX protocol - Simple on-chain market for ERC20 tokens
Simple on-chain market for ERC20 tokens
Simple on-chain market for ERC20 tokens
ERC20 ETH token wrapper. No more special case logic for Ether.
DSAuth-protected stop and start
DSAuth-protected stop and start
a proxy object that can compose transactions on owner's behalf
a proxy object that can compose transactions on owner's behalf
a proxy object that can compose transactions on owner's behalf
DSValue with expiry
Composable building blocks for Ethereum contracts
Set and get a value
Whitelist DSAuthority for use with DSAuth
Set and get a value
Multisig with a command-line interface
A DSAuthority for up to 256 roles
Whitelist DSAuthority for use with DSAuth
Authority to be used with DSAuth for DSS Governance Tokens
A DSAuthority for up to 256 roles
Dappsys for all
This repository has been moved to dapphub/dapptools
Dappsys for all
Set of smart contracts and bash scripts to deploy Multi collateral DAI
Set of smart contracts and bash scripts to deploy Multi collateral CSC
Time travel for Ethereum
Separate repo for making code review document edits.
Assertions, equality checks and other test helpers
Updatable, unobtrusive Solidity authorization pattern
Updatable, unobtrusive Solidity authorization pattern
Safe arithmetic
❇️ DSMath with overflow flagging
Safe arithmetic
Log function calls as events
Better exception handling
ETH->ERC20 with extra opinions
Log function calls as events
RBTC-> ERC20
ETH->ERC20 with extra opinions
Better exception handling
approval voting to select a set of addresses
Solidity, the Smart Contract Programming Language
This is solc-verify, a modular verifier for Solidity.
Aleth – Ethereum C++ client, tools and libraries
A rule-based contract-oriented high-level language.
[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
Solidity, the Contract-Oriented Programming Language
DEPRECATED: Solidity v0.4.24, the Contract-Oriented Programming Language
Ethereum C++ client
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
lllc support with latest opcodes
Solidity, the Contract-Oriented Programming Language
Solidity For Cortex
Fork of the Runtime Verification Solidity to IELE Compiler, to target MultiversX IELE. Not currently in use.
The Solidity Contract-Oriented Programming Language
Shyft:Solidity Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Smart Contract Programming Language
Solidity, the Smart Contract Programming Language
Aleth – Ethereum C++ client, tools and libraries
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
my version of solidity
ethereum-solidity
Solidity, the Contract-Oriented Programming Language
This project is a fork of ethereum/aleth.
Maker Improvement Proposals (MIPs)
(OLD REPO) A debug-oriented Ethereum VM (EVM)
Directly run EVM bytecode (using Parity technology)
MCD Command-line interface
Former home of webthree-helpers (part of cpp-ethereum)
Python API for Maker contracts
Python API to interact with the GEB smart contracts
erc20 interface definition container package
verification of the oracle security module
erc20 interface definition container package
(OLD REPO) The command-line Ethereum army knife by DappHub
Simple data access pattern for dumb, durable software objects
Linear Logic references
Maker Keeper Framework: Keeper to actively manage open CDPs.
An object that does one thing once.
building up a reasonable base class
An object that does one thing once.
Former home of libethereum (part of cpp-ethereum)
Maker Keeper Framework: Market maker keepers for OasisDEX, EtherDelta, 0x (RadarRelay, ERCdEX), Paradex, DDEX, IDEX, Bibox, Ethfinex, GoPax, HitBTC, TheOcean, OKEX and Gate.io.
Code for the dapp.tools website
Submodule of the Ethereum C++ implementation, please see webthree-umbrella.
Former home of libweb3core (part of cpp-ethereum)
maker update 499
─── peer developers
─── ecosystems
─── languages
- Solidity50
- C++28
- Makefile11
- Nix8
- CMake7
- Python5
- Haskell4
- Shell4
- GCC Machine Description3
- JavaScript3
─── subscriber view
Unlock the full view of rainbreak
- · 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.