nrryuya
Executive Officer of LayerX Inc. Twitter: https://twitter.com/nrryuya Twitter (Japanese): https://twitter.com/nrryuya_jp
@LayerXcom Tokyo
Pinned Repositories
mousse
An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications
cbc-casper-proof
Proofs of properties of CBC Casper
verified-vyper-contracts
FVyper: A collection of useful Vyper contracts developed with formal methods
vyper-remix
Remix Vyper Plugin
cbc-validator-rotation
Simulator of validator rotation in CBC Casper
eth_semantics
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
nrryuya's Repositories
nrryuya/cbc-validator-rotation
Simulator of validator rotation in CBC Casper
nrryuya/eth_semantics
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
nrryuya/psi_basic
Book recommender (word2vec, clustering)
nrryuya/brainwave2017-2
Brain-machine Interface
nrryuya/casper-proofs
Coq definitions and lemmas for verification of Casper
nrryuya/cbc-casper
nrryuya/cbc-casper-paper
An Introduction to CBC Casper Consensus Protocols
nrryuya/cidds
CIDDS: A Configurable and Interactive DAG-based Distributed Ledger Simulation Framework
nrryuya/consensus
Consensus for Web3
nrryuya/django
The Web framework for perfectionists with deadlines.
nrryuya/dpc
Distributed Protocol Combinators
nrryuya/elixir-omg
nrryuya/eth2.0-specs
Ethereum 2.0 Specifications
nrryuya/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
nrryuya/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
nrryuya/gitignore
A collection of useful .gitignore templates
nrryuya/incubator-superset
Apache Superset (incubating) is a modern, enterprise-ready business intelligence web application
nrryuya/monorepo
Home for all packages related to the Counterfactual project
nrryuya/naive_bayes_text_classifier
Category classifier by naive bayes
nrryuya/nrryuya.github.io
Personal website, forked from academicpages.github.io
nrryuya/plagiarism-checker
自分のブログがパクられた場合に通知してくれるWEBアプリ
nrryuya/plasma-mvp-vyper
Implementation of Minimal Viable Plasma in Vyper
nrryuya/Q-learning
Q-learning program to solve problems like collision and shortest path.
nrryuya/remix-ide
Browser-Only Solidity IDE and Runtime Environment
nrryuya/scilla-coq
State-Transition Systems for Smart Contracts
nrryuya/shikepuri
An application to share lecture notes and interact with classmates
nrryuya/trinity
Ethereum node based on py-evm
nrryuya/vyper
Pythonic Smart Contract Language for the EVM