Shohei Yasutake

icon indicating a website link http://amutake.github.io icon indicating an email [email protected]

icon company @Idein icon location Tokyo, Japan

Results 2 repositories owned by Shohei Yasutake
trafficstars

actario

29
Stars
3
Forks
Watchers

Verification Framework for Actor Systems on Coq

verified publisher icon amutake

docker-satysfi

26
Stars
5
Forks
Watchers

Docker images for SATySFi and Satyrographos

verified publisher icon amutake