MrChico

Pinned Repositories

chai
ERC20 wrapper over the Dai Savings Rate
Language:Solidity147 16 532
dapptools
Dapp, Seth, Hevm, and more
Language:Haskell2.1k 51 408325
klab
K framework proof explorer & smart contract specification format
Language:JavaScript124 17 10636
act
Smart contract specification language
Language:Haskell215 11 7236
massiboston
Language:JavaScript5 2 00
Reals-in-agda
Constructive definition of real numbers implemented in agda.
Language:TeX10 3 00
rnbostuff
Language:JavaScript6 2 00
stablecoin.services
A gas free offering of common Dai and Chai operations
Language:JavaScript33 4 107
verifyIPFS
Solidity library for verifying IPFS hashes
Language:Solidity112 13 423
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Python506 55 347140

MrChico's Repositories

MrChico/verifyIPFS
Solidity library for verifying IPFS hashes
Language:Solidity112 13 423
MrChico/stablecoin.services
A gas free offering of common Dai and Chai operations
Language:JavaScript33 4 107
MrChico/rnbostuff
Language:JavaScript6 2 00
MrChico/massiboston
Language:JavaScript5 2 00
MrChico/CompMeta
Exercises in computational metaphysics
Language:Isabelle4 3 0
MrChico/erc20-example
Videos here: https://www.youtube.com/playlist?list=PLYSZ-f9LCH3sEf0UKTLCaZErJeQtK7GCD
31
MrChico/evmbench
Language:Shell2 1 0
MrChico/arduinostuf
Language:JavaScript1 2 01
MrChico/asdasd
"PHOTORAMA" template for Jekyll
Language:HTML1 1 0
MrChico/enzyme-v2-check-tokens
Language:Shell1
MrChico/PCO
Language:Max1 1 0
MrChico/tinlake
bringing individual, non-fungible assets to DeFi
Language:Solidity1 2 0
MrChico/Tone.js
A Web Audio framework for making interactive music in the browser.
Language:TypeScript1
MrChico/atomicfruit.baby
Language:HTML
MrChico/dss-add-ilk-spell
Spell template for adding a new collateral type
Language:Solidity2 0
MrChico/EIPs
The Ethereum Improvement Proposal repository
Language:Solidity2 0
MrChico/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
2 0
MrChico/go-ethereum
Official golang implementation of the Ethereum protocol
Language:Go3 0
MrChico/guanxi
Relational programming in Haskell. Mostly developed on twitch.
Language:Haskell2 0
MrChico/harbergernator
Language:Solidity
MrChico/lighthouse
Rust Ethereum 2.0 Client
Language:Rust2 0
MrChico/nixpkgs
Nix Packages collection
Language:Nix2 0
MrChico/PAL_landing_page
Language:HTML1 0
MrChico/radicle-contracts
Radicle contracts on Ethereum
Language:Solidity1 0
MrChico/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Language:Haskell2 0
MrChico/solidity-blog
Collection of articles about the Solidity language and compiler
Language:HTML1 0
MrChico/spells-kovan
Language:Solidity2 0
MrChico/tinlake-maker-lib
Language:Solidity1 0
MrChico/turbo-geth
Language:Go2 0
MrChico/usb
Self contained USB and HID library for Go
Language:C2 0