nrryuya

cbc-validator-rotation

Simulator of validator rotation in CBC Casper

eth_semantics

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

psi_basic

Book recommender (word2vec, clustering)

brainwave2017-2

Brain-machine Interface

casper-proofs

Coq definitions and lemmas for verification of Casper

cbc-casper

cbc-casper-paper

An Introduction to CBC Casper Consensus Protocols

cidds

CIDDS: A Configurable and Interactive DAG-based Distributed Ledger Simulation Framework

consensus

Consensus for Web3

django

The Web framework for perfectionists with deadlines.

dpc

Distributed Protocol Combinators

elixir-omg

eth2.0-specs

Ethereum 2.0 Specifications

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

gitignore

A collection of useful .gitignore templates

incubator-superset

Apache Superset (incubating) is a modern, enterprise-ready business intelligence web application

monorepo

Home for all packages related to the Counterfactual project

naive_bayes_text_classifier

Category classifier by naive bayes

nrryuya.github.io

Personal website, forked from academicpages.github.io

plagiarism-checker

自分のブログがパクられた場合に通知してくれるWEBアプリ

plasma-mvp-vyper

Implementation of Minimal Viable Plasma in Vyper

Q-learning

Q-learning program to solve problems like collision and shortest path.

remix-ide

Browser-Only Solidity IDE and Runtime Environment

scilla-coq

State-Transition Systems for Smart Contracts

shikepuri

An application to share lecture notes and interact with classmates

trinity

Ethereum node based on py-evm

vyper

Pythonic Smart Contract Language for the EVM