Alternatives and similar repositories for mkr-mcd-spec

Users that are interested in mkr-mcd-spec are comparing it to the libraries listed below

• maple-labs / xMPL
  Token for accruing protocol revenues
  ☆16Updated 3 years ago
• makerdao / k-dss
  formal verification of multicollateral dai in the K framework
  ☆15Updated 3 years ago
• brockelmore / rust-cevm
  CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing
  ☆47Updated 3 years ago
• AztecProtocol / consolerr
  Solidity error logging
  ☆23Updated 3 years ago
• banteg / permit-deposit
  ☆21Updated 4 years ago
• 0age / devcon5-contract-runtime-mutability
  Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka
  ☆36Updated 5 years ago
• makerdao / ilk-registry
  A publicly-modifiable registry of ilks in the Dai Stablecoin System.
  ☆22Updated 2 years ago
• vyperlang / blackadder
  ☆14Updated 3 years ago
• mattdf / EIP3074Protection
  Know if a call is from an EOA no matter what
  ☆35Updated 3 years ago
• makerdao / dss-kiln
  Slow burner for protocol assets.
  ☆33Updated 2 years ago
• ribbon-finance / metavault
  Templating for meta vaults
  ☆23Updated 3 years ago
• dapp-org / dappsys-v2
  ☆30Updated 3 years ago
• protolambda / macula
  Experimental python optimistic rollup fraud-proof generation
  ☆29Updated 2 years ago
• sushiswap / bentobox-sdk
  Deployed contracts, helper contract, js and ts bindings
  ☆12Updated 4 years ago
• wilsoncusack / forge-squeeth
  ☆28Updated 3 years ago
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆56Updated 2 years ago
• 0age / Spawner
  Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.
  ☆42Updated 2 years ago
• brockelmore / HEVMHelpers
  ☆48Updated 4 years ago
• dapp-org / k-uniswap-v2
  ☆41Updated 5 years ago
• fredlacs / c2c-nft-bridge
  ☆35Updated 3 years ago
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 3 years ago
• sense-finance / space-v1
  Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle
  ☆37Updated 2 years ago
• Rari-Capital / duppgrade
  Update or revert to a specific DappTools commit with ease.
  ☆37Updated 3 years ago
• makerdao / dss-bridge
  ☆18Updated 2 years ago
• protolambda / mergemock
  Merge Mock - testing tool for the Ethereum Merge
  ☆41Updated 2 years ago
• protolambda / eth2-das
  DEPRECATED - Eth2 data availability sampling - Testground plan
  ☆27Updated 3 years ago
• maple-labs / contract-test-utils
  It provides helper functions to test the maple-core contracts.
  ☆24Updated 2 years ago
• rift-finance / rift-protocol
  An implementation of the Rift Protocol in Solidity
  ☆15Updated 2 years ago
• alcueca / DecimalMath
  Smart contract implementing fixed point math operations using structs for type checking.
  ☆29Updated 4 years ago
• wolflo / minisig
  Gas-optimized EVM multisig
  ☆25Updated 3 years ago