wtakuo

Professor in the Department of Computer Science at the Tokyo Institute of Technology

Tokyo Institute of TechnologyTokyo

Pinned Repositories

Act0
A small actor-based language written in Common-Lisp
Language:Common Lisp1 2 00
AppleScript
Language:AppleScript10
AST2J
A simple visitor generator for Java
Language:Java21
M5Stack-IDF
M5Stack ESP-IDF project template
Language:C++2 2 00
opfs
A set of simple utilities for manipulating xv6-riscv file system images
Language:C2 2 02
spin-env
Docker image for Spin model checker
Language:Dockerfile2 2 00
SVM
Simple stack-based bytecode VM implementations used in my class
Language:C4 2 02
xv6-env
Docker image for building/running xv6
Language:Dockerfile20 2 26

wtakuo's Repositories

wtakuo/xv6-env
Docker image for building/running xv6
Language:Dockerfile20 2 26
wtakuo/SVM
Simple stack-based bytecode VM implementations used in my class
Language:C4 2 02
wtakuo/AST2J
A simple visitor generator for Java
Language:Java21
wtakuo/M5Stack-IDF
M5Stack ESP-IDF project template
Language:C++2 2 00
wtakuo/opfs
A set of simple utilities for manipulating xv6-riscv file system images
Language:C2 2 02
wtakuo/spin-env
Docker image for Spin model checker
Language:Dockerfile2 2 00
wtakuo/Act0
A small actor-based language written in Common-Lisp
Language:Common Lisp1 2 00
wtakuo/AppleScript
Language:AppleScript10
wtakuo/BOFDemo
A simple buffer overflow vulnerability demo for IA-32
Language:C1 2 01
wtakuo/dotfiles
Language:Emacs Lisp2 0
wtakuo/emfrp-repl
A REPL implementation of Emfrp, running on low power devices.
Language:C
wtakuo/EnvSensors
A Python Library for I2C Environmental Sensors
Language:Python2 0
wtakuo/Frama-C
This project is for my personal Frama-C training.
Language:C2 01
wtakuo/Greetings
Example Project for Workshop on Software Development
Language:Java2 0
wtakuo/HitandBlow
A famous number guessing game
Language:Java2 0
wtakuo/localports
Some private ports for MacPorts
2 0
wtakuo/M5Stack
M5Stack Arduino Library
Language:C2 0
wtakuo/mbedremounter
A launchd daemon that fixes the mount mode of HDK-based mbeds
Language:Shell2 0
wtakuo/MicroPico
MicroPico (aka Pico-W-Go) is a Visual Studio Code extension designed to simplify and speed up the development of MicroPython projects for the Raspberry Pi Pico and Pico W boards.
Language:TypeScript
wtakuo/mplib
MicroPython Libraries
Language:Python
wtakuo/ocamlbuild
OCamlbuild
Language:OCaml2 0
wtakuo/platform-espressif32
Espressif 32: development platform for PlatformIO
Language:Python
wtakuo/Suggest
List results of Google suggest API
Language:Java2 0
wtakuo/t85keyer
ATtiny85 Electronic Keyer
Language:C++
wtakuo/thonny
Python IDE for beginners
wtakuo/TKotLC
The Knights of the Lambda Calculus Logo
Language:PostScript2 0
wtakuo/tscheme
A Tiny Scheme Interpreter
Language:C2 02
wtakuo/tswtch
A simple user-level task switching library
Language:C2 0
wtakuo/wtakuo.github.io
2 0
wtakuo/z3
The Z3 Theorem Prover
Language:C++1 0