repos
62
ecosystems
11
languages
10
commits
667
─── top repos · by commits
─── repositories
62 totalCypher Tokenized Points and Merchant Incentive Network ve(3,3)
formal verification of multicollateral dai in the K framework
Maker Improvement Proposals (MIPs)
Staging repo for MakerDAO weekly executive spells
Mom to allow protecting Flipper from kicks in real time
Custom authority for allowing MKR to govern MKR.
Formal Verification of MkrAuthority contract
Custom authority for allowing protocol token holders to govern GEB
Custom authority for allowing CGT to govern CGT.
Dai Stablecoin System
Safety wrapper for the MKR token so that MKR can govern MKR.
Dai Stablecoin System
Dai Stablecoin System
Dai Stablecoin System
Formal verification of collaterals for which the adapter is defined within the dss-deploy repo.
Curio StableCoin System
K framework proof explorer & smart contract specification format
Formal verification of OsmMom contract
Fibonacci sequence implementation in Solidity for FV demonstrations.
A set of scripts that deploy Curio Stablecoin System to an Ethereum chain of your choosing
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
Set of smart contracts and bash scripts to deploy Multi collateral DAI
The Maker Foundation's highest priority is the security of the Maker protocol. This repository is dedicated to providing transparency to our community with respect to the results of our MCD Audits and our Bug Bounty Program results.
Set of smart contracts and bash scripts to deploy Multi collateral CSC
Multi-Collateral DAI Public Releases Page
Smart contract to poke and drip
Symbolic and concrete EVM execution engine
K Semantics of the Ethereum Virtual Machine (EVM)
Faster & cheaper contract key-value storage for Ethereum Contracts
Dapp, Seth, Hevm, and more
A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).
Abstract developer interfaces to the Dai Stablecoin System core contracts.
Emergency Shutdown Module
Abstract developer interfaces for GEB core contracts
Dai Stablecoin Simulation
K Semantics of the Ethereum Virtual Machine (EVM)
Dapp, Seth, Hevm, and more
dapptools with added matic network functionality
─── peer developers
─── ecosystems
─── languages
- Solidity32
- JavaScript4
- Shell4
- Haskell4
- Nix3
- GCC Machine Description2
- Python2
- TeX1
- HTML1
- KCL1
─── subscriber view
Unlock the full view of kmbarry1
- · 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.