This is your work, valued
Professor in the Department of Computer Science at the Institute of Science Tokyo
xv6-env. Docker image for building/running xv6
26SVM. Simple stack-based bytecode VM implementations used in my class
4opfs. A set of simple utilities for manipulating xv6-riscv file system images
3AST2J. A simple visitor generator for Java
2M5Stack-IDF. M5Stack ESP-IDF project template
2spin-env. Docker image for Spin model checker
2BOFDemo. A simple buffer overflow vulnerability demo for IA-32
1AppleScript. AppleScript
1Act0. A small actor-based language written in Common-Lisp
1Taurus. A JVML code analyzer/modifier
1