VISCHub's repositories
ether-examples
Learning Ethereum by example
visc-website
VISC website
vet-faucet
Faucet for VET (Vietnam Ethereum Network)
metamask-extension-translation
Vietnamese translation for MetaMask
wtf-is-blockchain
WTF is ... Blockchain, Cryptocurrency and Smart Contracts
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cryptozombie-lessons
Lesson content for cryptozombies.io
discourse
A platform for community discussion. Free, open, simple.
js-ipfs-api
A client library for the IPFS HTTP API, implemented in JavaScript.
json-schema-faker
JSON-Schema + fake data generators
mastodon
Your self-hosted, globally interconnected microblogging community
netlify-cms
A CMS for Static Site Generators
opentimestamps-client
OpenTimestamps client
parity-bridge
Bridge between any two ethereum-based networks
pedersen-commitment
Cryptographic Commitment Schemes
ReasonablyTyped
:diamond_shape_with_a_dot_inside: Converts Flow and TypeScript definitions to Reason interfaces
safe-buffer
Safer Node.js Buffer API
steem
The blockchain for Smart Media Tokens (SMTs) and decentralized applications.
tokens
Public directory of ERC20 token images. Upload yours to get displayed in the Trust Wallet
trezor-crypto
:orange_book: Heavily optimized cryptography algorithms for embedded devices.
trust-keystore
A general-purpose Ethereum keystore for managing wallets.
trust-wallet-ios
:iphone: Trust - Ethereum Wallet and Web3 DApp Browser for iOS
web3.py
A python interface for interacting with the Ethereum blockchain and ecosystem.
web3j
Lightweight Java and Android library for integration with Ethereum clients
z3
The Z3 Theorem Prover