Okue's repositories
sample-grpc-spring-boot-starter-with-envoy
Sample project for grpc-spring-boot-starter and envoy json transcoder
toy-app-in-elm
toy application.
grpc-samples-in-kotlin
gRPC server sample by grpc-kotlin and Armeria
succ-typing
Clone of dialyzer.
dapp-eth
Ethereum app using Truffle and Geth.
digraph_viewer
Digraph viewer provides a visual representation of a digraph model through a web based interface
Hello-Ethereum
Quick Hello World in Ethereum (Solidity).
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
line-bot-sdk-java
LINE Messaging API SDK for Java
line-bot-sdk-python
LINE Messaging API SDK for Python
powerline-go
A beautiful and useful low-latency prompt for your shell, written in go
yanagishima
Web UI for Presto, Hive, Elasticsearch, SparkSQL