yudetamago's repositories
bitcoin
Bitcoin Core integration/staging tree
casper
Casper contract, and related software and tests
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.
dapper-contracts
Smart Contract for Dapper
dsss18
Lecture material for DeepSpec Summer School 2018
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
inversify-basic-example
A basic example that showcases how to setup InversifyJS
isabelle
git mirror of the Munich isabelle hg repository
leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
mastodon
Your self-hosted, globally interconnected microblogging community
nearcore
Official NEAR Protocol client.
onboard
Client library to onboard users to web3 apps
pf-af-devfuncs
Azure Functions related to the PlayFab developer experience
rails
Ruby on Rails
react-demo
React integration for onboard.js and notify.js
ruby
The Ruby Programming Language
SATySFi
A statically-typed, functional typesetting system
serving
A flexible, high-performance serving system for machine learning models
trust-keystore
A general-purpose Ethereum keystore for managing wallets.
trust-wallet-android-source
Trust - Ethereum Wallet for Android (Inactive Repository)
trust-wallet-ios
:iphone: Trust - Ethereum Wallet and Web3 DApp Browser for iOS
UniqysKit-preview
A preview version of Uniqys Kit - Create your dapp in Uniqys Network
zeppelin-solidity
OpenZeppelin, a framework to build secure smart contracts on Ethereum