MrChico
Languages
Repos
90
Stars
186
Forks
34
Top Language
JavaScript
Loading contributions...
Top Repositories
Solidity library for verifying IPFS hashes
A gas free offering of common Dai and Chai operations
Constructive definition of real numbers implemented in agda.
Exercises in computational metaphysics
Repositories
90No description provided.
No description provided.
Exercises in computational metaphysics
Fast Ethereum RPC client for testing and development
Pudding - a (more) delightful contract abstraction, based on web3
A gas free offering of common Dai and Chai operations
The Solidity Contract-Oriented Programming Language
Collection of articles about the Solidity language and compiler
No description provided.
Implementation of Rholang in the K framework
Solidity library for verifying IPFS hashes
No description provided.
Wasm-mode for editing web assembly code with emacs
No description provided.
No description provided.
"PHOTORAMA" template for Jekyll
No description provided.
A Web Audio framework for making interactive music in the browser.
No description provided.
No description provided.
Videos here: https://www.youtube.com/playlist?list=PLYSZ-f9LCH3sEf0UKTLCaZErJeQtK7GCD
bringing individual, non-fungible assets to DeFi
No description provided.
No description provided.
Constructive definition of real numbers implemented in agda.
Self contained USB and HID library for Go
Radicle contracts on Ethereum
Ethereum Compatible JavaScript API
No description provided.
Spell template for adding a new collateral type