Pinned Repositories
chai
ERC20 wrapper over the Dai Savings Rate
dapptools
Dapp, Seth, Hevm, and more
klab
K framework proof explorer & smart contract specification format
act
Smart contract specification language
massiboston
Reals-in-agda
Constructive definition of real numbers implemented in agda.
rnbostuff
stablecoin.services
A gas free offering of common Dai and Chai operations
verifyIPFS
Solidity library for verifying IPFS hashes
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
MrChico's Repositories
MrChico/tokens
MrChico/1split
On-chain DEX aggregator
MrChico/act-mode
emacs major mode for .act specs
MrChico/chui
MrChico/dapptools
Dapp, Seth, Hevm, and more
MrChico/ds-weth
ETH->ERC20 with extra opinions
MrChico/dss
Dai Stablecoin Simulation
MrChico/dss-deploy
MrChico/eei-semantics
MrChico/err
MrChico/eth2-deposit-contract
This is a just for fun port of the Vyper Eth 2.0 deposit contract to Solidity.
MrChico/eth2.0-specs
Ethereum 2.0 Specifications
MrChico/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
MrChico/EVMFuzzer
MrChico/evmlab.hs
Sketches of differential fuzzing EVM in haskell
MrChico/ewasm-semantics
MrChico/fv-melon
Formal verification of Melons Alchemist contract
MrChico/k
K Framework Tools 5.0
MrChico/k-token
formal verification of the medallion token
MrChico/klabecdsa
MrChico/libexperiment
Demonstrating that libraries are more expensive than inheritance
MrChico/MrChico.github.io
MrChico/rotki
A portfolio tracking, analytics, accounting and tax reporting application that respects your privacy
MrChico/solidity
The Solidity Contract-Oriented Programming Language
MrChico/specs
Technical specifications for the libp2p networking stack
MrChico/stringS-
MrChico/tests
Common tests for all Ethereum implementations
MrChico/verified-smart-contracts
Smart contracts which are formally verified
MrChico/wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
MrChico/yul-semantics