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/Reals-in-agda
Constructive definition of real numbers implemented in agda.
MrChico/agda-stdlib
The Agda standard library
MrChico/krho
Implementation of Rholang in the K framework
MrChico/Smarter-contract-lang
MrChico/LinearDependentTypes
MrChico/rholang-mode
Syntax highlighting and indentation for rholang in emacs
MrChico/poi
proof of individuality
MrChico/wasm-mode
Wasm-mode for editing web assembly code with emacs
MrChico/ArbExp
MrChico/blog
web practice. Code a blog.
MrChico/circles-sketch
Sketch of circlesUBI contracts
MrChico/dai-verification
MrChico/design
ewasm Design Overview and Specification
MrChico/ds-note
Log function calls as events
MrChico/eth-lightwallet
Lightweight JS Wallet for Node and the browser
MrChico/ether-pudding
Pudding - a (more) delightful contract abstraction, based on web3
MrChico/ethereumjs-util
A collection of utility functions for Ethereum
MrChico/ethereumjs-vm
the ethereum VM implemented in JS
MrChico/K-debug-help
MrChico/klab
K-framework simple debugger
MrChico/rchain
MrChico/researchProp
MrChico/snailtracer
Ray tracing on the Ethereum Virtual Machine
MrChico/testrpc
Fast Ethereum RPC client for testing and development
MrChico/testShit
MrChico/testsolidityhighlighting
MrChico/web3.js
Ethereum Compatible JavaScript API
MrChico/wiki
The Ethereum Wiki -
MrChico/yellowpaper
The "Yellow Paper": Ethereum's formal specification