Pinned Repositories
2024-ethdenver-invariant-testing
blockHouse-app
BlockHouses application for Turing Capstone project
developerguides
Developer guides to integrate with MakerDAO's smart contracts, SDKs, APIs, products, and partners
ethDenverTruffleDemo
Demo code for EthDenver Truffle Demo talk
ethwaterloo
headcount
Graphical dashboard of CO education statistics
smart-contract-resources
trufflecon-2018-testing-strategies
iamchrissmith's Repositories
iamchrissmith/2024-ethdenver-invariant-testing
iamchrissmith/developerguides
Developer guides to integrate with MakerDAO's smart contracts, SDKs, APIs, products, and partners
iamchrissmith/the-spot-denver
iamchrissmith/trufflecon-2018-testing-strategies
iamchrissmith/auditwizard-challenge-4
iamchrissmith/awesome-makerdao
A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.
iamchrissmith/cdp-finance-manager
iamchrissmith/chaperone-wallet
iamchrissmith/chezmoi
Manage your dotfiles across multiple diverse machines, securely.
iamchrissmith/codefi-hmlr-poc-contracts
Copy of Meridio Smart Contracts now being used for CoDeFi
iamchrissmith/CollateralizableSecurityToken
iamchrissmith/daistats
Dai Stats
iamchrissmith/dao-git-probot
Let your community manage your code using a DAO!
iamchrissmith/dapptools
Dapp, Seth, Hevm, and more
iamchrissmith/documentation
Documentation for the Dai JS library.
iamchrissmith/dss-gate
limit vat.suck() integration risk
iamchrissmith/dss-kiln
Slow burner for protocol assets.
iamchrissmith/dss-vest
iamchrissmith/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
iamchrissmith/governance-dashboard
Governance Dashboard (front-end part)
iamchrissmith/iamchrissmith.github.io
iamchrissmith/if-be
iamchrissmith/klab
K framework proof explorer & smart contract specification format
iamchrissmith/lefthandcypher.github.io
iamchrissmith/mcd-docs-content
Content dump of the files from the MCD Docs GitBooks page
iamchrissmith/profiles
iamchrissmith/solidity
Solidity, the Contract-Oriented Programming Language
iamchrissmith/st-dss-proxy-actions
Set of proxy st functions for MCD (using mcd-cdp-handler)
iamchrissmith/surya
A set of utilities for exploring Solidity contracts
iamchrissmith/zsh_custom