Pinned Repositories
assets
A comprehensive, up-to-date collection of information about several thousands (!) of crypto tokens.
ballot.sol
banthing
cryptonote-easy-miner
cryptonote easy miner
docs
The open-source repo for docs.github.com
MonetaryCoin-website
Complete source code for the MonetaryCoin website
pp1
promto
remix-etherscan-plugin
Remix Etherscan Plugin
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
banthing's Repositories
banthing/banthing
banthing/cryptonote-easy-miner
cryptonote easy miner
banthing/MonetaryCoin-website
Complete source code for the MonetaryCoin website
banthing/pp1
banthing/promto
banthing/remix-etherscan-plugin
Remix Etherscan Plugin
banthing/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
banthing/assets
A comprehensive, up-to-date collection of information about several thousands (!) of crypto tokens.
banthing/ballot.sol
banthing/docs
The open-source repo for docs.github.com